Skip to Main content Skip to Navigation
New interface
Conference papers

On the Reversibility of Live Equal-Conflict Petri Nets

Abstract : A Petri net is reversible if its initial marking is a home marking, a marking reachable from any reachable marking. This property is fundamental in man-made systems as it lets a system return to its initial state using only internal operations. Necessary and sufficient conditions are already known for the reversibility of well-formed Choice-Free and ordinary Free-Choice nets. Like the homogeneous Join-Free nets, these nets constitute subclasses of Equal-Conflict nets. In this larger class, the reversibility property is not well understood. This paper provides the first characterization of reversibility for all the live Equal-Conflict systems by extending, in a weaker form, a known condition that applies to the Choice-Free and Free-Choice subclasses. We also show that this condition is tightly related to the Equal-Conflict class and does not apply to several other classes.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Thomas Hujsa Connect in order to contact the contributor
Submitted on : Monday, May 13, 2019 - 5:22:01 PM
Last modification on : Saturday, November 20, 2021 - 3:50:09 AM


Petri Nets 2015.pdf
Files produced by the author(s)



Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon. On the Reversibility of Live Equal-Conflict Petri Nets. 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.234-253, ⟨10.1007/978-3-319-19488-2_12⟩. ⟨hal-01197020⟩



Record views


Files downloads