Related references
Note: Only part of the references are listed.Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
YuFeng Chen et al.
AUTOMATICA (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)
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems
Hesuan Hu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (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)
Reconfiguration Protocol for Multi-Agent Control Software Architectures
Mohamed Khalgui et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2011)
Maintenance Chain Integration Using Petri-Net Enabled Multiagent System Modeling and Implementation Approach
Amy J. C. Trappey et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2011)
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems
A. R. Wang et al.
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL (2011)
A DEADLOCK PREVENTION APPROACH FOR A CLASS OF TIMED PETRI NETS USING ELEMENTARY SIPHONS
Jinwei Guo et al.
ASIAN JOURNAL OF CONTROL (2010)
PROCESS VS RESOURCE-ORIENTED PETRI NET MODELING OF AUTOMATED MANUFACTURING SYSTEMS
NaiQi Wu et al.
ASIAN JOURNAL OF CONTROL (2010)
Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements)
Daniel Y. Chao
COMPUTER JOURNAL (2010)
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets
Hesuan Hu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2010)
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets
Hesuan Hu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2010)
Two Simple Deadlock Prevention Policies for S3PR Based on Key- Resource/Operation-Place Pairs
GuanJun Liu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2010)
Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery
NaiQi Wu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2010)
Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets
ZhiWu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2010)
Self-liveness of a class of Petri net models for flexible manufacturing systems
C. Zhong et al.
IET CONTROL THEORY AND APPLICATIONS (2010)
New controllability condition for siphons in a class of generalised Petri nets
G. Liu et al.
IET CONTROL THEORY AND APPLICATIONS (2010)
General mixed integer programming-based liveness test for system of sequential systems with shared resources nets
G. Liu et al.
IET CONTROL THEORY AND APPLICATIONS (2010)
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
Hesuan Hu et al.
JOURNAL OF INTELLIGENT MANUFACTURING (2010)
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs
Hesuan Hu et al.
COMPUTERS & INDUSTRIAL ENGINEERING (2009)
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
ZhiWu Li et al.
COMPUTERS & INDUSTRIAL ENGINEERING (2009)
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models
Chunfu Zhong et al.
ENGINEERING WITH COMPUTERS (2009)
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets
HeSuan Hu et al.
IEEE TRANSACTIONS ON MULTIMEDIA (2009)
Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets
Luigi Piroddi et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets
AnRong Wang et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)
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)
A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems
Zhiwu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2009)
Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons
D. Y. Chao et al.
IET CONTROL THEORY AND APPLICATIONS (2009)
Automated manufacturing system: virtual-nets or non-virtual-nets?
D. Y. Chao
IET CONTROL THEORY AND APPLICATIONS (2009)
Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
Z. Li et al.
IET CONTROL THEORY AND APPLICATIONS (2009)
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
Zhiwu Li et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2008)
Modeling and supervisory control of railway networks using Petri nets
Alessandro Giua et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (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)
Control of elementary and dependent siphons in Petri nets and their application
Zhiwu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
On siphon computation for deadlock control in a class of Petri nets
ZhiWu Li 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)
On controllability of dependent siphons for deadlock prevention in generalized Petri nets
Zhiwu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems
ZhiWu Li et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2008)
Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources
D. Y. Chao
IET CONTROL THEORY AND APPLICATIONS (2008)
Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
Murat Uzam et al.
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (2007)
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)
Deadlock detection and avoidance strategies for automated storage and retrieval systems
Mariagrazia Dotoli et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2007)
Max'-controlled siphons for liveness of S3PGR2
D. Y. Chao
IET CONTROL THEORY AND APPLICATIONS (2007)
An incremental Petri net-based approach to the Modeling of production sequences in manufacturing systems
Adamo Castelnuovo et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)
An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
Murat Uzam et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2007)
Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking
NaiQi Wu et al.
IEEE-ASME TRANSACTIONS ON MECHATRONICS (2007)
A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net
Zhiwu Li et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2007)
Supervision based on place invariants: A survey
M. V. Iordache et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2006)
Maximal class of weakly live ordinary Petri nets without emptiable siphons
Daniel Y. Chao
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2006)
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)
Siphon-based deadlock prevention policy for flexible manufacturing systems
Yi-Sheng Huang et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2006)
Monitor design for colored Petri nets: An application to deadlock prevention in railway networks
M. P. Fanti et al.
CONTROL ENGINEERING PRACTICE (2006)
Computation of elementary siphons in Petri nets for deadlock control
Daniel Yuh Chao
COMPUTER JOURNAL (2006)
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
M Uzam et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2006)
Computing minimal siphons in Petri net models of resource allocation systems: A parallel solution
Fernando Tricas et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2006)
Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
G Maione et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2005)
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)
Control of safe ordinary petri nets using unfolding
A Giua et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2005)
Enumeration. algorithms for minimal siphons in Petri nets based on place constraints
R Cordone et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2005)
Modeling and deadlock control of automated guided vehicle systems
NQ Wu et al.
IEEE-ASME TRANSACTIONS ON MECHATRONICS (2004)
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)
ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems
MD Jeng et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)
Fault-tolerant deadlock avoidance algorithm for assembly processes
FS Hsieh
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)
A deadlock avoidance approach for nonsequential resource allocation systems
J Ezpeleta 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)
Design of a live and maximally permissive Petri net controller using the theory of regions
A Ghaffari et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2003)
Synthesis of supervisors enforcing general linear constraints in Petri nets
MV Iordache et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2003)
Process nets with resources for manufacturing modeling and their analysis
M Jeng et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Observability of place/transition nets
A Giua et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)
A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states
J Ezpeleta et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods
KX He et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)
Robust supervisory control policies for manufacturing systems with unreliable resources
MA Lawley et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Event-based controller to avoid deadlock and collisions in zone-control AGVS
MP Fanti
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2002)
Synthesis of deadlock prevention supervisors using Petri nets
MV Iordache et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Real-time deadlock detection and recovery for automated manufacturing systems
WC Yeh
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (2002)
An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions
M Uzam
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (2002)
Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
NQ Wu et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2002)
Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems
NQ Wu et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2001)
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
J Park et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2001)
Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons
MD Jeng et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2001)
Distributed event-control for deadlock avoidance in automated manufacturing systems
MP Fanti et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2001)
Symbolic analysis of bounded Petri nets
E Pastor et al.
IEEE TRANSACTIONS ON COMPUTERS (2001)
Deadlock prevention policy based on Petri nets and siphons
YS Huang et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2001)
Comparing digraph and Petri net approaches to deadlock avoidance in FMS
MP Fanti et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2000)
Deadlock avoidance in flexible manufacturing systems using finite automata
A Yalcin et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
JH Park et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)
Petri net supervisors for DES with uncontrollable and unobservable transitions
JO Moody et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2000)
Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems
M Lawley
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2000)