On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets

R. S. Sreenivas
DOI: https://doi.org/10.1109/tac.2011.2159883
IF: 6.549
2012-02-01
IEEE Transactions on Automatic Control
Abstract:We first show that the existence, or nonexistence, of a supervisory policy that enforces liveness in an arbitrary Petri net (PN) is not semidecidable. Following this, we show that this is not the case if we restrict our attention to an arbitrary, partially controlled, free-choice Petri net (FCPN). Starting from the observation that the set of initial markings for which there is a supervisory policy that enforces liveness in a free-choice structure is right-closed, we present a string of observations that eventually lead to the conclusion that the existence of a supervisory policy that enforces liveness in an arbitrary FCPN is decidable. The paper concludes with some suggested directions for future research.
automation & control systems,engineering, electrical & electronic
What problem does this paper attempt to address?