In: Proceedings of the 33rd IEEE Conference on Decision and Control, pages 3104-3109. December 1994.
Abstract: This paper describes a method for constructing a Petri net feedback controller for a discrete event system modeled by a Petri net. The controller enforces a set of linear constraints on the plant and consists of places and arcs. It is computed using the concept of Petri net place invariants. The size of the controller is proportional to the number of constraints which must be satisfied. The method is very attractive computationally, and it makes possible the systematic design of Petri net controllers for complex industrial systems.