By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
R. S. Sreenivas ; Coordinated Science Laboratory & Industrial and Enterprise Systems Engineering, University of Illinois at Urbana-Champaign, Urbana

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.

Published in:

IEEE Transactions on Automatic Control  (Volume:57 ,  Issue: 2 )