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

DOI10.1016/J.TCS.2011.12.027MaRDI QIDQ418764zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4037217 (Why is no real title available?)
• scientific article; zbMATH DE number 3757714 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 2087496 (Why is no real title available?)
• Algebraic high-level net transformation systems
• Behaviour and instantiation of high-level Petri net processes
• Fundamentals of algebraic graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Petri nets and algebraic specifications
• Petri nets are monoids
• The non-sequential behaviour of Petri nets

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)