A concise proof of Commoner's theorem
Logic in Computer Science
2024-01-23 v1
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.
Cite
@article{arxiv.2401.12067,
title = {A concise proof of Commoner's theorem},
author = {Petr Jancar},
journal= {arXiv preprint arXiv:2401.12067},
year = {2024}
}
Comments
A slight elaboration of the 1-page text in Petri Net Newsletter, No 49, page 43 (October 1995)