Lectures on Concurrency and Petri Nets

DOI10.1007/B98282zbMath1088.68079OpenAlexW78026558MaRDI QIDQ5712281

Hartmut Ehrig, Julia Padberg

Publication date: 23 December 2005

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

Full work available at URL: https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

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

Related Items (7)

Model Checking Reconfigurable Petri Nets with Maude ⋮ Reconfiguring system hierarchies with multi-valued logic ⋮ Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs ⋮ Transformation of variants of Petri nets into context-dependent fusion grammars ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ A structural approach to graph transformation based on symmetric Petri nets ⋮ Multi-valued logic in graph transformation theory and self-adaptive systems

Uses Software

• Design/CPN

This page was built for publication: Lectures on Concurrency and Petri Nets