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

DOI10.1016/J.TCS.2011.12.027zbMath1238.68098OpenAlexW1991472088MaRDI QIDQ418764

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

zbMATH Keywords

transformationhigh-level Petri netsprocessescommunication platforms

Mathematics Subject Classification ID

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

Cites Work

• Petri nets and algebraic specifications
• Petri nets are monoids
• Fundamentals of algebraic graph transformation
• The non-sequential behaviour of Petri nets
• Handbook of Graph Grammars and Computing by Graph Transformation
• Algebraic high-level net transformation systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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