Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net

2008 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2008.4811598 ◽

2008 ◽

Author(s):

NaiQi Wu ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Avoidance Problem

Download Full-text

Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans ◽

10.1109/tsmca.2008.2007947 ◽

2009 ◽

Vol 39 (1) ◽

pp. 188-199 ◽

Author(s):

Keyi Xing ◽

Meng Chu Zhou ◽

Huixia Liu ◽

Feng Tian

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Polynomial Complexity ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

Journal of Control Theory and Applications ◽

10.1007/s11768-005-5067-y ◽

2007 ◽

Vol 5 (2) ◽

pp. 152-158 ◽

Author(s):

Keyi Xing ◽

Feng Tian ◽

Xiaojun Yang

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Petri Net Modeling and Scheduling of Automated Manufacturing Systems

Optimization Methods for Manufacturing ◽

10.1201/9780429124327-8 ◽

2019 ◽

pp. 8-1-8-23

Author(s):

MengChu Zhou ◽

Huanxin Henry Xiong

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Petri net extensions for the development of MIMO net models of automated manufacturing systems

Journal of Manufacturing Systems ◽

10.1016/s0278-6125(97)81713-x ◽

1997 ◽

Vol 16 (6) ◽

pp. 457

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

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

A synthesis method for Petri net modeling of automated manufacturing systems with shared resources

[1992] Proceedings of the 31st IEEE Conference on Decision and Control ◽

10.1109/cdc.1992.371530 ◽

2005 ◽

Author(s):

M.D. Jeng ◽

F. DiCesare

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Synthesis Method ◽

Automated Manufacturing ◽

Shared Resources ◽

Automated Manufacturing Systems

Download Full-text

Petri net extensions for the development of MIMO net models of automated manufacturing systems

Journal of Manufacturing Systems ◽

10.1016/s0278-6125(97)88886-3 ◽

1997 ◽

Vol 16 (3) ◽

pp. 175-191 ◽

Author(s):

S. Ramaswamy ◽

K.P. Valavanis ◽

S. Barber

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Modeling and Deadlock Avoidance of Automated Manufacturing Systems With Multiple Automated Guided Vehicles

IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) ◽

10.1109/tsmcb.2005.850141 ◽

2005 ◽

Vol 35 (6) ◽

pp. 1193-1202 ◽

Author(s):

N. Wu ◽

M. Zhou

Keyword(s):

Manufacturing Systems ◽

Automated Guided Vehicles ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Petri Net Models, Functional Abstractions, and Reduction Techniques: Applications to the Design of Automated Manufacturing Systems

IEEE Transactions on Industrial Electronics ◽

10.1109/tie.2005.844225 ◽

2005 ◽

Vol 52 (2) ◽

pp. 595-609 ◽

Author(s):

R. Zurawski

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Reduction Techniques

Download Full-text

Matrix Controller Design and Deadlock Analysis of Automated Manufacturing Systems. Part 2: Deadlock Avoidance Policy

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s001700170042 ◽

2001 ◽

Vol 18 (7) ◽

pp. 490-501

Author(s):

H.-H. Huang

Keyword(s):

Manufacturing Systems ◽

Controller Design ◽

Deadlock Avoidance ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Analysis

Download Full-text