Related references
Note: Only part of the references are listed.Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy
Ke Yi Xing et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2012)
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets-A Literature Review
ZhiWu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2012)
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
Ahmed Nazeem et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2011)
Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
YuFeng Chen et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2011)
Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems
Keyi Xing et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2011)
Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems
Keyi Xing et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)
Robustness analysis of holonic assembly/disassembly processes with Petri nets
Fu-Shiung Hsieh
AUTOMATICA (2008)
Resource-oriented Petri net for deadlock avoidance in flexible assembly systems
Naiqi Wu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
Selective Siphon Control for Deadlock Prevention in Petri Nets
Luigi Piroddi et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
Deadlock resolution in automated manufacturing systems with robots
Naiqi Wu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)
Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
Zhi Wu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2007)
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
ZhiWu Li et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2006)
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles
NQ Wu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2005)
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
ZW Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)
Deadlock control methods in automated manufacturing systems
MP Fanti et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)
Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service
MP Fanti
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)
Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems
NQ Wu et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2001)
Deadlock prevention policy based on Petri nets and siphons
YS Huang et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2001)