A Simple Petri Net controller in Discrete Event systems

In this paper a method is proposed for preventing the system from entering the forbidden states in Discrete Event Systems. So, a small number of control places are obtained by solving a few integer linear programming problems. The numbers of constraints and variables in each problem linearly grow with respect to the number of authorized states and forbidden states. The controller after connecting the obtained control places to the model is maximally permissive.