Generalized Petri net reduction method
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Comparing digraph and Petri net approaches to deadlock avoidance inFMS
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
On Siphon Computation for Deadlock Control in a Class of Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Synthesis a Petri net based control model for a FMS cell
Computers in Industry
Module-based architecture for a periodic job-shop scheduling problem
Computers & Mathematics with Applications
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
SETZ logistics models and system framework for manufacturing and exporting large engineering assets
Journal of Systems and Software
| Hi-index | 0.00 |
Multiple resource-sharing is a common situation in parallel and complex manufacturing processes and may lead to deadlock states. To alleviate this issue, this paper presents the method of modeling parallel processing flows, sharing limited number of resources, in flexible manufacturing systems (FMSs). A new class of Petri net called parallel process net with resources (PPNRs) is introduced for modeling such FMSs. PPNRs have the capacity to model the more complex resource-sharing among parallel manufacturing processes. Furthermore, this paper presents the simple diagnostic and remedial procedures for deadlocks in PPNRs. The proposed technique for deadlock detection and recovery is based on transition vectors which have the power of determining the structural aspects as well as the process flow condition in PPNRs. Moreover, the proposed technique for dealing with deadlocks is not a siphon-based thus the large-scale PPNRs for real-life FMSs can be tackled. Finally, the proposed method of modeling and deadlock analysis in the FMS having parallel processing is demonstrated by a practical example.