Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

DOI10.1007/978-3-540-73094-1_9zbMATH Open1226.68052OpenAlexW1564258647MaRDI QIDQ3612928FDOQ3612928

Authors: Hartmut Ehrig, Kathrin Hoffmann, Ulrike Prange, J. Padberg, Claudia Ermel 

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

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

Recommendations

• Transformations in Reconfigurable Place/Transition Systems
• Automated Technology for Verification and Analysis
• Overview of reconfigurable Petri nets
• A Petri net interpretation of open reconfigurable systems
• Mobile Petri nets

zbMATH Keywords

integration of net theory and graph transformationsparallel and sequential independence of net transformations and token firing

Mathematics Subject Classification ID

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

Cited In (7)

• Transformations in Reconfigurable Place/Transition Systems
• Automated Technology for Verification and Analysis
• Model checking reconfigurable Petri nets with Maude
• Oclets – Scenario-Based Modeling with Petri Nets
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Canonization of reconfigurable PT nets in \texttt{Maude}
• Reconfigurable Petri nets with transition priorities and inhibitor arcs

This page was built for publication: Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612928)