Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Methods for the supervisory control of concurrent systems based on petri net abstractions
Methods for the supervisory control of concurrent systems based on petri net abstractions
Deadlock control methods in automated manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Enumeration algorithms for minimal siphons in Petri nets based on place constraints
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Selective Siphon Control for Deadlock Prevention in Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Verification of problem-based learning systems using modified petri nets
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Siphon-based control methods are often employed for deadlock prevention in Petri net models of flexible manufacturing systems. Such methods generally require siphon enumeration, which is a computationally intensive task, whose complexity grows with the Petri net size. However, only a small fraction of minimal siphons needs to be controlled to prevent all deadlocks. This paper introduces an algorithm to compute the required siphons, based on a set covering approach that optimally matches emptiable siphons to critical markings. This greatly reduces the computational load of the deadlock prevention algorithm with respect to alternative methods with comparable performance in terms of permissivity.