Synchronization competitive processes of flexible manufacturing system using siphons Petri net

Abstract

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 (S 3 PR) 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 S 3 PRs 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.

Modelling Manufacturing System Controller-based Siphon Petri Nets

“…Limited shared resources are a competition between them it leads to sharing resources systems, Сircular Waits, Modelling Manufacturing System Controller-based Siphon Petri Nets resource-circuits, and deadlock in FMS [1,2]. In an exemplary FMS, raw parts of different types enter the system at factors of time or asynchronously [3,4,5] processed and simultaneously [6], and concurrently interacting recursively processes sharing common resources lead to a deadlock or blocking. The former is used for representation of PN, and solving deadlock prevention that is a very important issue in[713] essence for FMS.…”

“…The simulation results provided with a visualization Petri net model of FMSs are developing methods of the optimization that can be improved on siphons based on the controller exhibits to be the best performance of the sequence operations manufacturing systems [5,6,7]. The circular waits are deadlocks occurrences of FMS which are related to specified resource allocations request.…”

Elementary Siphons of Petri Nets and Deadlock Control in FMS

“…In general, a deadlock occurs when the raw components are blocked, while waiting for shared resources held by other production processes. Abdul-Hussin (2015) [1] studies the synchronization competitive processes to deal with deadlocks caused by the sharing of resources in FMS which is developing the theory for efficient strict minimal siphons for S 3 PR. An FMS example is used to illustrate the application of the proposed method, and competitive processes are provided in an S 3 PR to show its superior efficiency.…”

“…A system of simple sequential processes with resources (S 3 PR) by Ezpeleta et al [3] is a powerful Petri net model to describe and analyze the behavior of FMS, and has been adopted widely by many researchers to handle deadlock problems with FMS [1] [3] [4]. Ezpeleta et al [3] develop a design method of monitor-based liveness Petri net supervisors for FMS, which is usually considered to be a classical contribution that utilizes structural analysis techniques of Petri nets to prevent deadlocks in FMS.…”