Abstract
A Petri net (PN) is said to be live if it is possible to fire any transition from every reachable marking, although not necessarily immediately. In this paper we consider the issue of enforcing liveness in non-live PNs via supervisory control. Using a construction procedure, similar to that in reference [1], that converts an arbitrary PN into an equivalent member of a family of PNs called Free-Choice Petri nets, we show there is a policy that enforces liveness in the original PN if and only if there is a corresponding policy for its Free-Choice equivalent. The utility of this approach is illustrated via an example.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 4092-4097 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE Conference on Decision and Control |
| Volume | 4 |
| State | Published - Dec 1 1997 |
| Event | Proceedings of the 1997 36th IEEE Conference on Decision and Control. Part 1 (of 5) - San Diego, CA, USA Duration: Dec 10 1997 → Dec 12 1997 |
ASJC Scopus subject areas
- Control and Systems Engineering
- Modeling and Simulation
- Control and Optimization