Modelling Manufacturing System Controller-based Siphon Petri Nets
Mowafak Hassan Abdul-Hussin
Abstract
This work is focused on the deadlock prevention problem for a class of Flxble anufaturing ytms(FMS) which is modelled by ytems of imple equential resses with Reurces (S 3 PRs), baed on Petri net mdels. 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.