Abstract | ||
---|---|---|
This paper presents a suboptimal deadlock controller for a class of manufacturing systems of sequential processes with resources, where deadlocks are characterized by saturated maximal perfect resource-transition circuits (MPRT-circuits), and the controller consists of two parts. In the maximally permissive Petri net controller, which avoids all MPRT-circuits being saturated, some control places are redundant. By deleting all redundant control places and their related arcs, the first part of our controller, non-redundant controller, is obtained. In the controlled system with the non-redundant controller, deadlocks may occur if the system contains crucial resources. Then we propose for the first time the concept of the maximal perfect control-transition circuits (MPCT-circuits), which is used to characterize the deadlock in the controlled system with the non-redundant controller. When deadlock occurs under a reachable marking, some MPCT-circuits in the controlled system become empty. The Petri net controller to prevent all MPCT-circuits from being empty is the second part of our controller. It is proved that the controller consisting of two parts can guarantee the liveness of the controlled system. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/CoASE.2012.6386305 | CASE |
Keywords | Field | DocType |
suboptimal deadlock controller,two-stage deadlock prevention policy,nonredundant controller,suboptimal control,petri nets,redundant control places,maximally permissive petri net controller,sequential processes,flexible manufacturing systems,resource-transition circuits,redundancy,mprt-circuits,saturated maximal perfect resource-transition circuits,process control,nickel,control systems | Control theory,Petri net,Control theory,Deadlock,Redundancy (engineering),Process control,Deadlock prevention algorithms,Control system,Engineering,Liveness | Conference |
Volume | Issue | ISSN |
null | null | 2161-8070 |
ISBN | Citations | PageRank |
978-1-4673-0429-0 | 1 | 0.36 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
LiBin Han | 1 | 126 | 5.63 |
Keyi Xing | 2 | 522 | 34.59 |
MengChu Zhou | 3 | 8989 | 534.94 |
Huixia Liu | 4 | 200 | 7.27 |
Feng Wang | 5 | 1 | 0.36 |