Rule-Based Refinement of Petri Nets: A Survey

DOI10.1007/978-3-540-40022-6_9zbMath1283.68251OpenAlexW1566035118MaRDI QIDQ5392161

Milan Urbášek, Julia Padberg

Publication date: 8 April 2011

Published in: Petri Net Technology for Communication-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-40022-6_9

Mathematics Subject Classification ID

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

Related Items (3)

Petri net modules in the transformation-based component framework ⋮ Property-preserving transformations of elementary net systems based on morphisms ⋮ Transformations in Reconfigurable Place/Transition Systems

Uses Software

• Design/CPN
• TLA

This page was built for publication: Rule-Based Refinement of Petri Nets: A Survey