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 metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01197020
Contributor : Thomas Hujsa <>
Submitted on : Monday, May 13, 2019 - 5:22:01 PM
Last modification on : Tuesday, June 18, 2019 - 3:40:02 PM

File

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

Identifiers

Citation

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⟩

Share

Metrics

Record views

332

Files downloads

37