A concise proof of Commoner's theorem
arXiv:2401.12067
Abstract
The textbook proofs of Commoner's theorem characterizing liveness in free-choice Petri nets are given in contexts of technical notions and claims that make the proofs look a bit long. The aim of this note is to give a concise self-contained proof.
A slight elaboration of the 1-page text in Petri Net Newsletter, No 49, page 43 (October 1995)