Supervision Deadlock Prevention of FMSs Using a Class of Petri Nets -S4PR

In this paper, we have successfully presented Petri nets on a particular modality of a flexible manufacturing system (FMS). We have developed an approach Petri net towards the simulation models of Petri nets, namely S4PR and their employment elementary siphons to ensure there is a flow of multiple resource occupations without blocking. Structural objects of siphons Petri nets (PNs) technique has the ability to recognize the deadlock behavior on systems and solved deadlock, which it relates to unmarked places. The controller presentations to assess the execution of an FMS for the automatic design of FMS are presented by PNs. An FMS is simulated activities by Petri net named: S4PR is capable of the modeled system. Furthermore, the structural analyses PN is described as structural properties of the system. A simulation of PN is utilized to check how this model works. The main advantages of using a Petri net as models of a system are obtained to allow for automatic conversion, via a model net for control flow. The supervisors are then intended to control these siphons.