This monograph presents developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches.

Introduction. Preliminaries. Symbolic Computation and Analysis of Petri Nets. Supervisor Design Based on the Theory of Regions. Maximally Permissive Supervisors. Most Permissive Supervisors. Structurally Minimal Supervisors. Behaviorally Optimal and Structurally Simple Supervisors. Forbidden State Problems. Conclusions and Open Problems.