SIMULATION AND CONTROL OF SIPHON PETRI NETS FOR MANUFACTURING SYSTEMS

摘要

In this paper we develop concepts to configure deadlock prevention supervisors for Petri Nets (PNs) with an example in Flexible Manufacturing System (FMS). We focus on a subclass of Petri Nets: Systems of Simple Sequential Processes with Resources, S3PR, which allows multiple resource acquisitions and flexible routing. Sequential events have a significant impact on PNs in the dynamics of FMS, presented here as siphons control model. Several trials are required to determine the set of elementary siphons to provide the required effect on the final supervisor in the structurally complex system. Siphons play an important part in Petri Nets applications in representation analysis to resolve deadlock problems in FMS. The control dynamics of FMS are developed based on the structural analysis used in siphons to configure and control supervisors of the system.