Abstract
Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called -S3 PR with ξ-resources. First, an algorithm is presented to reduce an S3 PR via a ξ-resource. Based on the algorithm, ξ-resources in -S3 PRs are classified into two types: 1) A-ξ-resources and 2) B-ξ-resources. Next, for an α-S3 PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by controlling all emptied strict minimal siphons. For an α-S3 PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a deadlock prevention algorithm for α-S3 PRs is presented. Two FMS examples are used to illustrate its application. Its comparison results with other state-of-the-art deadlock prevention policies validate its overall advantages in terms of computational complexity, structural complexity, and behavior permissiveness.
Original language | English (US) |
---|---|
Article number | 7042836 |
Pages (from-to) | 967-975 |
Number of pages | 9 |
Journal | IEEE Transactions on Systems, Man, and Cybernetics: Systems |
Volume | 45 |
Issue number | 6 |
DOIs | |
State | Published - Jun 1 2015 |
All Science Journal Classification (ASJC) codes
- Software
- Control and Systems Engineering
- Human-Computer Interaction
- Computer Science Applications
- Electrical and Electronic Engineering
Keywords
- Deadlock prevention policy
- Petri nets
- flexible manufacturing system (FMS)
- monitor-based