An application of independent, increasing, Free-Choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets

Research output: Contribution to journalArticlepeer-review


The class of Independent, Increasing, Free-Choice Petri nets (II-FCPNs) was introduced in (Sreenivas, 1997c), where it is shown that any II-FCPN can be made live via supervision using a readily available policy. In a live Petri net (PN) (Peterson (1981). Petri Net Theory and Modeling of systems. Prentice-Hall, Englewood Cliffs, NJ, Reisig (1985). Petri Nets. Springer, Berlin), it is possible to fire any transition from every reachable marking, although not necessarily immediately. In this paper we identify a class of PNs, where every transition is controllable, that are not necessarily II-FCPNs, that can be made live via supervision using a readily available policy constructed from the policy that enforces liveness in an II-FCPN.

Original languageEnglish (US)
Pages (from-to)1613-1615
Number of pages3
Issue number12
StatePublished - Dec 1998


  • Discrete event dynamic systems
  • Petri nets
  • Supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this