Towards Common Exchange Formats for Graphs and Graph Transformation Systems

DOI10.1016/S1571-0661(04)80941-1zbMath1263.68115MaRDI QIDQ4923506

Gabriele Taentzer

Publication date: 24 May 2013

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

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

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

68Q42: Grammars and rewriting systems

Related Items

Modeling and Verifying Graph Transformations in Proof Assistants, The Edge of Graph Transformation — Graphs for Behavioural Specification

Uses Software

• PNML
• SAX

Cites Work

• Graph transformation for specification and programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• The Petri Net Markup Language