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

DOI10.1007/978-3-540-73094-1_9MaRDI QIDQ3612928zbMATH OpenOpenAlexFDO

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

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)

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

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
• Reconfigurable Petri nets with transition priorities and inhibitor arcs
• Canonization of reconfigurable PT nets in \texttt{Maude}

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)