For the most recent entries see the Petri Nets Newsletter.

Liveness, Fairness, and Recurrence.

Kindler, E.; van der Aalst, W.M.P.

In: Technical Report, UGA-CS-TR-99-02. University of Georgia, Department of Computer Science, Athens, USA, 1999.

Also in: Information Processing Letters, Vol. 70, No. 6, pages 269-274. June 1999.

Abstract: In Petri nets liveness implies recurrence. The paper investigates the reverse implication. A class of Petri nets for which recurrence implies liveness is characterized as extended memory asymmetric choice nets (Best has shown that liveness implies recurrence for asymmetric choice nets which are also called extended simple nets).

Keywords: Petri nets, asymmetric choice nets, concurrency, distributed systems, extended simple nets, theory of computation.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography