Supervisory Control for Flexible Manufacturing Systems Model Using S4PR-Nets Based on Siphon

摘要

Supervisory control of Petri nets is used in an S4PR to analyzing and solving the deadlock problem of flexible manufacturing systems (FMSs). The FMS can be modeled by a class of Petri Nets(PNs): systems of sequential-systems with shared reso-urces (S4PR). Petri nets-based formalisms are analyzed for distributing systems controlled by place control. An essential supporting structure of the technique is its ability to distinguish deadlock by siphons in the paradigm of PNs. In our application of the net theory of FMSs, the mechanism to control problems is formulated by the reachability graph to obtain optimal solutions. The proposed method makes siphon PNs provide an effective tool for the liveness that is characterized containing support of the P-invariant to be enforced on the controlled plant. The formal description of models will be illustrated by PNs used models as well as specified examples to demonstrate the interaction of resources in FMSs.