On the Reversibility of Live Equal-Conflict Petri Nets

DOI10.1007/978-3-319-19488-2_12zbMath1364.68287OpenAlexW2133777848MaRDI QIDQ2941153

Alix Munier Kordon, Jean-Marc Delosme, Thomas Hujsa

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://hal.sorbonne-universite.fr/hal-01197020/file/Petri%20Nets%202015.pdf

zbMATH Keywords

livenesscharacterizationreversibilityjoin-freefree-choiceweighted Petri netschoice-freeequal-conflicthome markings

Mathematics Subject Classification ID

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

Related Items (3)

Reversible Computation vs. Reversibility in Petri Nets ⋮ Reversing Steps in Petri Nets ⋮ Investigating Reversibility of Steps in Petri Nets

Cites Work

• Structure theory of equal conflict systems
• Decidable problems on the strong connectivity of Petri net reachability sets
• Petri Net Distributability
• Structural properties of petri nets
• {SC}*ECS: A class of modular and hierarchical cooperating systems
• Free Choice Petri Nets
• Synthesis and Analysis of Product-form Petri Nets
• On the Reversibility of Well-Behaved Weighted Choice-Free Systems
• Structural Methods for the Control of Discrete Event Dynamic Systems – The Case of the Resource Allocation Problem
• Applications and Theory of Petri Nets 2005

This page was built for publication: On the Reversibility of Live Equal-Conflict Petri Nets