Modelling Manufacturing System Controller-based Siphon Petri Nets
Mowafak Hassan Abdul-Hussin · International Journal of Wireless and Microwave Technologies · 2020
This work is focused on the deadlock prevention problem for a class of Flеxіble Мanufaсturing Ѕyѕtеms(FMSѕ) which is modelled by Ѕyѕtems of Ѕimple Ѕequential Рrοсesses with Reѕοurces (S 3 PRs), baѕed on Petri net mοdels.Petri Nets (PNs) gives a strong framework of modelling resources shared between concurr-ent processes in FMSs.This paper deals design methodology of controllers based on the Petri nets for the synthesis of FMSs based on a siphon PNs analysis is to be controlled by the set of minimal siphons which are generate a new P-Semifiow.We distinguish siphons in PN to give the necessary impact on the final supervisor control scheme that is the basis siphon structure analyzed to control FMS.The experimental approach is Siphon PN to give an effective tool for the liveness network, which gives a typical analysis to solve deadlock prevention in FMSs models are checked by PNs.Successful implementation of an FMS corresponds to synthesize a PN is to compute process models in parallel systems that have been specified to deadlock detection.In our application, the examples of an FMS are a control system by PN.