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

DOI10.1007/978-3-540-73094-1_9zbMath1226.68052OpenAlexW1564258647MaRDI QIDQ3612928

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia 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)

Related Items (6)

Model Checking Reconfigurable Petri Nets with Maude ⋮ Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Canonization of reconfigurable PT nets in \texttt{Maude} ⋮ Oclets – Scenario-Based Modeling with Petri Nets

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