Whereas, for Petri nets, the traditional liveness property guarantees that each transition of a Petri net can always occur again, observable liveness requires that, from any reachable marking, each observable transition can be forced to fire by choosing appropriate controllable transitions; hence it is defined for Petri nets with distinguished observable and controllable transitions. We introduce observable liveness and show that this new notion generalizes traditional liveness in various ways. In particular, liveness of a 1-bounded Petri net implies observable liveness, provided the only conflicts that can appear are between controllable transitions. This assumption refers to applications where the uncontrollable part models a deterministic machine (or several deterministic machines), whereas the user of the machine is modeled by the controllable part and can behave arbitrarily.

Desel, J., Kilinc, G. (2015). Observable liveness of Petri nets. ACTA INFORMATICA, 52(2-3), 153-174 [10.1007/s00236-015-0218-1].

Observable liveness of Petri nets

KILINC, GORKEM
2015

Abstract

Whereas, for Petri nets, the traditional liveness property guarantees that each transition of a Petri net can always occur again, observable liveness requires that, from any reachable marking, each observable transition can be forced to fire by choosing appropriate controllable transitions; hence it is defined for Petri nets with distinguished observable and controllable transitions. We introduce observable liveness and show that this new notion generalizes traditional liveness in various ways. In particular, liveness of a 1-bounded Petri net implies observable liveness, provided the only conflicts that can appear are between controllable transitions. This assumption refers to applications where the uncontrollable part models a deterministic machine (or several deterministic machines), whereas the user of the machine is modeled by the controllable part and can behave arbitrarily.
Articolo in rivista - Articolo scientifico
Deterministic machines; Liveness; Liveness properties; Petri nets
English
2015
52
2-3
153
174
none
Desel, J., Kilinc, G. (2015). Observable liveness of Petri nets. ACTA INFORMATICA, 52(2-3), 153-174 [10.1007/s00236-015-0218-1].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/83246
Citazioni
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 5
Social impact