On liveness and reversibility of equal-conflict Petri nets - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2016

On liveness and reversibility of equal-conflict Petri nets

Résumé

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.
Fichier non déposé

Dates et versions

hal-01716969 , version 1 (25-02-2018)

Identifiants

Citer

Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon. On liveness and reversibility of equal-conflict Petri nets. Fundamenta Informaticae, 2016, 146 (1), pp.83--119. ⟨10.3233/FI-2016-1376⟩. ⟨hal-01716969⟩
185 Consultations
0 Téléchargements

Altmetric

Partager

More