An FMS Reconfigurable Model With S⁴PR Petri Nets by Controllable Transitions

The reconfigurable model of the flexible manufacturing systems (FMSs) with Petri Net by controllable transitions (CTs) is presented in this work. The Petri Net (PN) can provide effective procedures to solve deadlock handling in the FMS. Accurately eliminating deadlocked states in FMS and dynamic processes demonstrates the effectiveness of CTS. A novelty algorithm is presented to obtain the maximum permissive behaviors with fewer supervisors, which are obtained fully live. S4PRs, a system of sequential systems with shared resources, are used to implement the PNs that are effective and practical for describing the FMS interaction processes. The motivation analyzes and simulates FMS models using the PN simulator to solve the deadlock. The influence of a reachability graph (RG) is essential for detecting the states of deadlocked (DL). This paper focuses on the influence of CTs in PN that are controlling all resource utilization. In particular, the dynamic model of different kinds of FMS can have optimal solutions given by CTs.