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

Abstract

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
Volume10
Issue number4
DOIs
StatePublished - Jan 22 2013

Keywords

  • Petri nets (PNs)
  • supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'On deciding the existence of a liveness enforcing supervisory policy in a class of partially controlled general free-choice petri nets'. Together they form a unique fingerprint.

Cite this