Workshop on Petri Nets and Graph Transformations
From MaRDI portal
Publication:3540422
DOI10.1007/978-3-540-87405-8_34zbMath1175.68212OpenAlexW1510674169MaRDI QIDQ3540422
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
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