On a free-choice equivalent of a Petri net

Research output: Contribution to journalConference articlepeer-review


A Petri net (PN) is said to be live if it is possible to fire any transition from every reachable marking, although not necessarily immediately. In this paper we consider the issue of enforcing liveness in non-live PNs via supervisory control. Using a construction procedure, similar to that in reference [1], that converts an arbitrary PN into an equivalent member of a family of PNs called Free-Choice Petri nets, we show there is a policy that enforces liveness in the original PN if and only if there is a corresponding policy for its Free-Choice equivalent. The utility of this approach is illustrated via an example.

Original languageEnglish (US)
Pages (from-to)4092-4097
Number of pages6
JournalProceedings of the IEEE Conference on Decision and Control
StatePublished - Dec 1 1997
EventProceedings of the 1997 36th IEEE Conference on Decision and Control. Part 1 (of 5) - San Diego, CA, USA
Duration: Dec 10 1997Dec 12 1997

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization


Dive into the research topics of 'On a free-choice equivalent of a Petri net'. Together they form a unique fingerprint.

Cite this