On the Reversibility of Live Equal-Conflict Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

On the Reversibility of Live Equal-Conflict Petri Nets


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.
Fichier principal
Vignette du fichier
Petri Nets 2015.pdf (638.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01197020 , version 1 (13-05-2019)



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⟩
307 View
127 Download



Gmail Facebook X LinkedIn More