Siphon-based deadlock prevention for a class of S4PR generalized Petri nets

The paper proposes a new technique for deadlock control for a class of generalized Petri net (PN) with S4PR net, from the concept of control siphon. One important property of PN is to design structure, in terms of siphons, in order to the characterization of the deadlock prevent, and analytic structure of the synchronization subsystem which is needed to control place in a system. An efficient siphon method provides a solution to calculating minimal siphons, which is lead to constructing an optimal supervisor, ensuring that the system live state is preserved. The experimental results show the illustration of the proposed methods by using an S4PR net with an example is represented in FMS. The simulation result is also provided as a Petri nets the conception as well as the integration with MATLAB.