Incomparable Single Controller for Solving Deadlock Problems of Flexible Manufacturing Systems

This paper focuses on studying and proposes deadlocks are an obstacle in the flexible manufacturing system (FMS) of Petri nets (PNs) since their occurrence will influence the partial or whole model to stop working. Due to its structural characteristic, the Petri net is an essential model tool to overcome the deadlocks problem. The place invariant (PI) associated with the control algorithm to obtain the maximally permissive by deadlocks forbidding are popular recently; however, the algorithms have reached the maximal permissiveness, but their results are so complex. Our paper applies a single controller and single token to eliminate all the deadlocks in the FMS. of PNs We combine the PI and simplified dead markings to form our single controller deadlock prevention policy (SCDPP) algorithm.