Encoding bigraphical reactive systems into graph transformation systems

DOI10.1016/j.endm.2016.10.051zbMath1356.05108OpenAlexW2556540294MaRDI QIDQ511000

Mohamed Jmaiel, Amal Gassara, Ismael Bouassida Rodriguez, Kalil Drira

Publication date: 14 February 2017

Full work available at URL: https://doi.org/10.1016/j.endm.2016.10.051

zbMATH Keywords

matchingbigraphsBRS

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Grammars and rewriting systems (68Q42)

Related Items (1)

Executing bigraphical reactive systems

Cites Work

• Fundamentals of algebraic graph transformation
• The Space and Motion of Communicating Agents
• Unnamed Item
• Unnamed Item

This page was built for publication: Encoding bigraphical reactive systems into graph transformation systems