\input zb-basic
\input zb-ioport
\iteman{io-port 02238847}
\itemau{Barkaoui, Kamel; Couvreur, Jean-Michel; Klai, Kais}
\itemti{On the equivalence between liveness and deadlock-freeness in Petri nets.}
\itemso{Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20--25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 90-107 (2005).}
\itemab
Summary: This paper deals with the structure theory of Petri nets. We define the class of P/T systems namely K-systems for which the equivalence between controlled-siphon property (cs property), deadlock freeness, and liveness holds. Using the new structural notions of ordered transitions and root places, we revisit the non liveness characterization of P/T systems satisfying the cs property and we define by syntactical manner new and more expressive subclasses of K-systems where the interplay between conflict and synchronization is relaxed.
\itemrv{~}
\itemcc{}
\itemut{structure theory; liveness; deadlock-freeness; cs-property}
\itemli{doi:10.1007/b136988}
\end