This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches. It details optimal supervisory control problems arising in automated production systems and outlines a methodology to achieve the optimality purposes of

chapter 1|10 pages


chapter 2|15 pages


chapter 5|31 pages

Maximally Permissive Supervisors

chapter 6|14 pages

Most Permissive Supervisors

chapter 7|17 pages

Structurally Minimal Supervisors

chapter 9|24 pages

Forbidden State Problems

chapter 10|11 pages

Conclusions and Open Problems