Liveness, fairness, and recurrence in Petri nets

• 1 June 1999
• journal article
• research article
• Published by Elsevier in Information Processing Letters
• Vol. 70  (6) , 269-274
• https://doi.org/10.1016/s0020-0190(99)00074-5

Abstract

Keywords

• CONCURRENCY
• DISTRIBUTED SYSTEMS
• PETRI NETS
• THEORY OF COMPUTATION