Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
On Liveness and Controlled Siphons in Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Heuristic Method for the Set Covering Problem
Operations Research
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
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
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
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Control of Elementary and Dependent Siphons in Petri Nets and Their Application
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets
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
Model-based development of virtual laboratories for robotics over the internet
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on recent advances in biometrics
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
Robotics and Computer-Integrated Manufacturing
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
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
| Hi-index | 0.01 |
In Petri-net (PN) modeling of flexible manufacturing systems, deadlock prevention is often addressed by means of siphon-control methods. Constraints that avoid the emptying of siphons can be easily implemented using additional places suitably connected to the PN transitions. Efficient siphon-based techniques achieve highly permissive solutions using as few control places as possible. One such technique employs a set-covering approach to optimally match emptiable siphons to critical markings. In this paper, a modified version of the method is proposed that achieves the same results in terms of permissivity and size of the control subnet but avoids full siphon enumeration. This greatly reduces the overall computational time and memory requirements and allows the applicability of the method to large-size models.