相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
Xuya Cong et al.
IEEE ACCESS (2018)
A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
Mi Zhao et al.
INFORMATION SCIENCES (2017)
Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods
Yen-Liang Pan et al.
JOURNAL OF ALGORITHMS & COMPUTATIONAL TECHNOLOGY (2017)
A robust deadlock prevention control for automated manufacturing systems with unreliable resources
Feng Wang et al.
INFORMATION SCIENCES (2016)
On the enforcement of a class of nonlinear constraints on Petri nets
YuFeng Chen et al.
AUTOMATICA (2015)
Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources
Hao Yue et al.
COMPUTERS & INDUSTRIAL ENGINEERING (2015)
Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems
Emad Abouel Nasr et al.
MATHEMATICAL PROBLEMS IN ENGINEERING (2015)
Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources
Hao Yue et al.
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2014)
Robustness of deadlock control for a class of Petri nets with unreliable resources
G. Y. Liu et al.
INFORMATION SCIENCES (2013)
Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems
YuFeng Chen et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (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)
Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known S3PR
Daniel Y. Chao
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (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)
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)
Robust Supervisory Control for Product Routings With Multiple Unreliable Resources
Song Foh Chew et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2009)
Direct minimal empty siphon computation using MIP
Daniel Y. Chao
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (2009)
Using shared-resource capacity for robust control of failure-prone manufacturing systems
Shengyong Wang 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)
Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
Fu-Shiung Hsieh
AUTOMATICA (2006)
The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems
M Uzam
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (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)
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)
Robust supervisory control policies for manufacturing systems with unreliable resources
MA Lawley et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (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)