Control synthesis of Petri nets based on S-decreases

A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the m arking of the net. The controller that forces the net to obey the constrain ts is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollabl e transitions, and then provides a systematic way for synthesizing net-base d controllers for discrete event systems.