In: Proceedings of the IFAC 13th Triennial World Congress, Vol. B., pages 67-72. July 1996.
Abstract: This paper describes a computationally efficient method for synthesizing feedback controllers for plants modeled by Petri nets while illustrating the method with a running example of a manufacturing system. The controller, a Petri net itself, computed using the concept of Petri net place invariants, enforces a set of linear constraints on the plant. Computationally efficient and automatically derived techniques are given to deal with uncontrollable transitions in the plant and the on-line recomputation of the controller due to sensor failures.