On invariant-based monitors that enforce liveness in a class of partially controlled general Petri Nets

E. Salimi, R. S. Sreenivas

Research output: Contribution to journalArticlepeer-review


We consider a class of Petri Net structures where the existence of a liveness enforcing supervisory policy (LESP) for an initial marking implies there is a LESP for a larger initial marking. That is, the set of initial markings for which there is a LESP for any instance of this class is right-closed. If a transition is prevented from firing at a marking by a LESP, and all LESPs, irrespective of the implementation-paradigm that is chosen, prescribe the same control for the marking, then it is a minimally restrictive LESP. It is possible to synthesize the minimally restrictive LESP for any instance of this class that uses this right-closed set of markings. Alternately, one could consider invariant-based monitors for liveness enforcement in an instance of this class.

Original languageEnglish (US)
Article number7036102
Pages (from-to)2825-2830
Number of pages6
JournalIEEE Transactions on Automatic Control
Issue number10
StatePublished - Oct 1 2015


  • Discrete event systems
  • Petri nets
  • liveness
  • supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering

Cite this