Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
ACM Computing Surveys (CSUR)
On Liveness and Controlled Siphons in Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Approximating the Minimal Sensor Selection for Supervisory Control
Discrete Event Dynamic Systems
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Automatica (Journal of IFAC)
System Modeling and Control with Resource-Oriented Petri Nets
System Modeling and Control with Resource-Oriented Petri Nets
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 B: Cybernetics
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
Fault-tolerant deadlock avoidance algorithm for assembly processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A deadlock avoidance approach for nonsequential resource allocation systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Clarifications on the Definitions of Elementary Siphons in Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Siphon-Based Deadlock Prevention Policy for Flexible 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
Selective Siphon Control for Deadlock Prevention in Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.07 |
This paper develops a place invariant based deadlock prevention method to obtain a maximally permissive Petri net supervisor with the lowest implementation cost. A supervisor consists of a set of control places and the arcs connecting control places to transitions. We assign an implementation cost for each control place and control and observation costs for each transition. Based on reachability graph analysis, maximal permissiveness can be achieved by designing place invariants that prohibit all first-met bad markings but no legal markings. By solving an integer linear programming problem (ILPP), a set of optimal control places are obtained and the objective function is used to minimize the implementation cost of the final supervisor. A vector covering approach is used to reduce the number of considered markings, aiming to reduce the computational overhead of the proposed method. Finally, a number of examples are proposed to illustrate the proposed approach.