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.