On liveness and reversibility of equal-conflict Petri nets

Abstract : Weighted Petri nets provide convenient models of many man-made systems. Real applications are often required to possess the fundamental Petri net properties of liveness and reversibility, as liveness preserves all the functionalities (fireability of all transitions) of the system and reversibility lets the system return to its initial state (marking) using only internal operations. Characterizations of both behavioral properties, liveness and reversibility, are known for well-formed weighted Choice-Free and ordinary Free-Choice Petri nets, which are special cases of Equal-Conflict Petri nets. However, reversibility is not well understood for this larger class, where choices must share equivalent preconditions, although characterizations of liveness are known. In this paper, we provide the first characterization of reversibility for all live Equal-Conflict Petri nets by extending, in a weaker form, a known condition that applies to the Choice-Free and Free-Choice subclasses. We deduce the monotonicity of reversibility in the live Equal-Conflict class. We also give counter-examples for other classes where the characterization does not hold. Finally, we focus on well-formed Equal-Conflict Petri nets, for which we offer the first polynomial sufficient conditions for liveness and reversibility, contrasting with the previous exponential time conditions.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01716969
Contributor : Frédéric Davesne <>
Submitted on : Sunday, February 25, 2018 - 5:27:38 PM
Last modification on : Tuesday, June 18, 2019 - 3:40:05 PM

Identifiers

Citation

Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon. On liveness and reversibility of equal-conflict Petri nets. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, 146 (1), pp.83--119. ⟨10.3233/FI-2016-1376⟩. ⟨hal-01716969⟩

Share

Metrics

Record views

165