Workshop on Petri Nets and Graph Transformations

DOI10.1007/978-3-540-87405-8_34zbMath1175.68212OpenAlexW1510674169MaRDI QIDQ3540422

Barbara König, Paolo Baldan

Publication date: 20 November 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_34

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Explicit State Model Checking for Graph Grammars
• Termination Analysis of Model Transformations by Petri Nets
• Parallelism and concurrency in high-level replacement systems
• On the semantics of place/transition Petri nets
• Algebraic high-level net transformation systems
• ESM systems and the composition of their computations
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Lectures on Concurrency and Petri Nets
• Foundations of Software Science and Computation Structures
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Workshop on Petri Nets and Graph Transformations