Brief Paper: An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets

  • Authors:

  • RAMAVARAPU S. SREENIVAS

  • Affiliations:

  • Coordinated Science Laboratory and Department of General Engineering, University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA

  • Venue:
  • Automatica (Journal of IFAC)
  • Year:
  • 1998

Quantified Score

Hi-index 22.14

Visualization

Abstract

The class of Independent, Increasing, Free-Choice Petri nets (II-FCPNs) was introduced in (Sreenivas, 1997c), where it is shown that any II-FCPN can be made live via supervision using a readily available policy. In a live Petri net (PN) (Peterson (1981). Petri Net Theory and Modeling of systems. Prentice-Hall, Englewood Cliffs, NJ, Reisig (1985). Petri Nets. Springer, Berlin), it is possible to fire any transition from every reachable marking, although not necessarily immediately. In this paper we identify a class of PNs, where every transition is controllable, that are not necessarily II-FCPNs, that can be made live via supervision using a readily available policy constructed from the policy that enforces liveness in an II-FCPN.