On deciding the existence of a liveness enforcing supervisory policy in a class of partially controlled general free-choice petri nets

N. Somnath, R. S. Sreenivas

Research output: Contribution to journalArticlepeer-review


If there are transitions in a Petri net (PN) that cannot be prevented from firing by a supervisory policy, then we have a partially controlled PN. The existence of a liveness enforcing supervisory policy (LESP) in a partially controlled ordinary PN is undecidable. Consequently, there can be no algorithms that synthesize an LESP for an arbitrary ordinary (general) PN. In contrast, we identify a class of general free-choice PN (FCPN) structures, which strictly includes the class of ordinary FCPN structures, where the existence of an LESP in any marked member of the class is decidable.

Original languageEnglish (US)
Article number6414610
Pages (from-to)1157-1160
Number of pages4
JournalIEEE Transactions on Automation Science and Engineering
Issue number4
StatePublished - 2013


  • Petri nets (PNs)
  • supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this