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

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

Dates and versions

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

Identifiers

Cite

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⟩
325 View
146 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More