Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes

DOI10.1016/J.TCS.2011.12.027zbMATH Open1238.68098OpenAlexW1991472088MaRDI QIDQ418764FDOQ418764

Authors: Karsten Gabriel, Hartmut Ehrig 

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.027

Recommendations

• Algebraic high-level net transformation systems
• scientific article; zbMATH DE number 1302044
• scientific article; zbMATH DE number 446837
• Publication:4942095
• Formal Methods in Software and Systems Modeling

zbMATH Keywords

transformationprocessescommunication platformshigh-level Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Handbook of Graph Grammars and Computing by Graph Transformation
• The non-sequential behaviour of Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamentals of algebraic graph transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic high-level net transformation systems
• Behaviour and instantiation of high-level Petri net processes
• Petri nets and algebraic specifications
• Petri nets are monoids

This page was built for publication: Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418764)