Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons by M. D. Jeng, and X. Xie

Deadlock Resolution in Computer-Integrated Systems ◽

10.1201/9781315214665-14 ◽

2018 ◽

pp. 255-304

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Deadlock Detection ◽

Automated Manufacturing Systems

Download Full-text

Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2020.3019684 ◽

2020 ◽

pp. 1-13

Author(s):

Nan Du ◽

Hesuan Hu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Deadlock Detection ◽

Automated Manufacturing Systems ◽

Download Full-text

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

2015 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2015.7139732 ◽

2015 ◽

Author(s):

HeSuan Hu ◽

Yan Yang ◽

Yang Liu ◽

Chen Chen

Keyword(s):

Manufacturing Systems ◽

Colored Petri Nets ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Design

Download Full-text

Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets

2016 European Control Conference (ECC) ◽

10.1109/ecc.2016.7810638 ◽

2016 ◽

Author(s):

Nan Du ◽

Hesuan Hu

Keyword(s):

Robust Control ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2015.2391014 ◽

2015 ◽

Vol 23 (5) ◽

pp. 2026-2034 ◽

Author(s):

Hesuan Hu ◽

Yang Liu ◽

Mengchu Zhou

Keyword(s):

Distributed Control ◽

Manufacturing Systems ◽

Large Scale ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2020.2983672 ◽

2020 ◽

Vol 17 (4) ◽

pp. 1961-1975 ◽

Author(s):

Nan Du ◽

Hesuan Hu ◽

MengChu Zhou

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Assembly Operations ◽

Download Full-text

Robust supervisor synthesis for automated manufacturing systems using Petri nets

2015 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2015.7294234 ◽

2015 ◽

Author(s):

Yan Cheng ◽

HeSuan Hu ◽

Yang Liu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

Download Full-text

Deadlock resolution method for automated manufacturing systems modeled with Petri nets

2010 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2010.5641919 ◽

2010 ◽

Author(s):

Hesuan Hu ◽

Mengchu Zhou ◽

Zhiwu Li

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Resolution Method ◽

Deadlock Resolution

Download Full-text

Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets

IEEE Transactions on Robotics and Automation ◽

10.1109/70.63259 ◽

1990 ◽

Vol 6 (6) ◽

pp. 621-639 ◽

Author(s):

R.Y. Al-Jaar ◽

A.A. Desrochers

Keyword(s):

Performance Evaluation ◽

Manufacturing Systems ◽

Stochastic Petri Nets ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Generalized Stochastic Petri Nets

Download Full-text

Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) ◽

10.1109/tsmcc.2011.2160626 ◽

2012 ◽

Vol 42 (4) ◽

pp. 437-462 ◽

Author(s):

ZhiWu Li ◽

NaiQi Wu ◽

MengChu Zhou

Keyword(s):

Literature Review ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

A software tool for synthesizing Petri nets in automated manufacturing systems

Proceedings of IEEE Systems Man and Cybernetics Conference - SMC ◽

10.1109/icsmc.1993.390728 ◽

2002 ◽

Author(s):

Mu Der Jeng ◽

Chient Lung Shieh

Keyword(s):

Manufacturing Systems ◽

Software Tool ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text