Deadlock Resolution Strategy for Automated Manufacturing Systems Including Conjunctive Resource Service

M.P. Fanti

doi:10.1109/tsmca.2003.822377

Deadlock Resolution Strategy for Automated Manufacturing Systems Including Conjunctive Resource Service

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

10.1109/tsmca.2003.822377 ◽

2004 ◽

Vol 34 (1) ◽

pp. 80-92 ◽

Cited By ~ 23

Author(s):

M.P. Fanti

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution ◽

Resolution Strategy ◽

Resource Service

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):

Petri Nets ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Resolution Method ◽

Deadlock Resolution

Download Full-text

Deadlock Resolution in Automated Manufacturing Systems With Robots

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2006.888049 ◽

2007 ◽

Vol 4 (3) ◽

pp. 474-480 ◽

Cited By ~ 74

Author(s):

Naiqi Wu ◽

MengChu Zhou

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution

Download Full-text

Resource-Oriented Petri Net for Deadlock Resolution in Automated Manufacturing Systems with Robots

2006 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2006.384361 ◽

2006 ◽

Cited By ~ 1

Author(s):

Naiqi Wu ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution

Download Full-text

Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets

2009 International Conference on Networking, Sensing and Control ◽

10.1109/icnsc.2009.4919252 ◽

2009 ◽

Author(s):

Hesuan Hu ◽

Mengchu Zhou ◽

Zhiwu Li

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Timed Petri Nets ◽

Automated Manufacturing Systems ◽

Supervisory Controller ◽

Deadlock Resolution

Download Full-text

Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2011.2156783 ◽

2011 ◽

Vol 8 (4) ◽

pp. 794-804 ◽

Cited By ~ 44

Author(s):

Hesuan Hu ◽

MengChu Zhou ◽

Zhiwu Li

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution

Download Full-text

Deadlock resolution in automated manufacturing systems–a novel Petri net approach, by Z.W. Li, and M.C. Zhou

International Journal of Production Research ◽

10.1080/00207541003650961 ◽

2010 ◽

Vol 48 (18) ◽

pp. 5541-5542 ◽

Cited By ~ 3

Author(s):

Alessandro Giua

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution

Download Full-text

Deadlock analysis in automated manufacturing systems with conjunctive resource service

Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292) ◽

10.1109/robot.2002.1013358 ◽

2003 ◽

Cited By ~ 1

Author(s):

M.P. Fanti ◽

B. Turchiano

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Analysis ◽

Resource Service

Download Full-text

Deadlock Resolution in Automated Manufacturing Systems

10.1007/978-1-84882-244-3 ◽

2009 ◽

Cited By ~ 1

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Deadlock Resolution

Download Full-text

Concurrent design of automated manufacturing systems using knowledge processing technology

Computers in Industry ◽

10.1016/0166-3615(91)90038-b ◽

1991 ◽

Vol 17 (2-3) ◽

pp. 257-267 ◽

Cited By ~ 6

Author(s):

George Kovács ◽

István Mezgár ◽

Sándor Kopácsi

Keyword(s):

Manufacturing Systems ◽

Processing Technology ◽

Concurrent Design ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Knowledge Processing

Download Full-text

Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

Asian Journal of Control ◽

10.1002/asjc.837 ◽

2014 ◽

Vol 17 (1) ◽

pp. 190-201 ◽

Cited By ~ 15

Author(s):

ShouGuang Wang ◽

MengChu Zhou ◽

WenHui Wu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Reduced Complexity

Download Full-text