A concise proof of Commoners's theorem.

For the most recent entries see the Petri Nets Newsletter.

In: Petri Net Newsletter No. 49, pages 1-43. October 1995.

Abstract: A proof of the well-known characterization of liveness in free-choice nets is given, which avoids the usual technical notions and lemmas.

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