On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Computers and Industrial Engineering
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On deadlocks and fairness in self-organizing resource-flow systems
ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems
On structural minimality of optimal supervisors for flexible manufacturing systems
Automatica (Journal of IFAC)
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Information Sciences: an International Journal
| Hi-index | 0.00 |
A siphon-based algorithm for deadlock prevention of a type of Petri nets called S3PMR, which is a subclass of S3PGR2, is presented in this correspondence. The proposed method is an iterative approach by adding two kinds of control places called ordinary control (OC) places and weighted control (WC) places to the original model to prevent siphons from being unmarked. An OC place with ordinary arcs, which optimally prevent a siphon from becoming unmarked, is employed whenever it is possible, and otherwise, the WC places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for S3PR, ES 3PR, S2LSPR, and S3PGR2 nets. The authors prove the liveness and reversibility of the controlled net, and hence establish the correctness of the deadlock prevention policy. Finally, numerical experiments indicate that the proposed policy appears to be more permissive than closely related approaches in the literature