Synchronization competitive processes of flexible manufacturing system using siphons Petri net

摘要

The synchronization competitive processes of the modeling and design of Flexible Manufacturing System (FMS) is propose to solve the deadlock problem for a class of Petri nets, which is used Systems of Simple Sequential Processes with Resources (SPR) net. In this paper presents a deadlock prevention method of a class of FMS, where the unmarked siphon in their Petri net models causes the deadlocks. Siphons are dividing into elementary and dependent ones. An FMS example is using to represent our application of the proposed deadlock prevention policy, also the competitive processes is provided in SPRs to show its excellent efficiency. The monitors are using to prevent the presence of unmarked siphons that are direct causes of deadlocks in such a Petri net. The mathematical computations siphon of Petri net is leading to liveness-enforcing Petri net supervisors with behavior that is more permissive. Petri nets are a modeling and simulation formalism for describing concurrency and synchronization in distributed of FMS.