Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources

IEEE Access ◽

10.1109/access.2020.2968469 ◽

2020 ◽

Vol 8 ◽

pp. 22411-22424 ◽

Cited By ~ 3

Author(s):

Abdulrahman Al-Ahmari ◽

Husam Kaid ◽

Zhiwu Li ◽

Reggie Davidrajuh

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Colored Petri Net ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

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

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 ◽

Cited By ~ 128

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

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

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 ◽

Cited By ~ 16

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 ◽

Cited By ~ 16

Author(s):

S. Ramaswamy ◽

K.P. Valavanis ◽

S. Barber

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

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 ◽

Cited By ~ 12

Author(s):

Yan Cheng ◽

HeSuan Hu ◽

Yang Liu

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

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 ◽

Cited By ~ 18

Author(s):

R. Zurawski

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Reduction Techniques

Download Full-text

Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2013.2238923 ◽

2014 ◽

Vol 44 (2) ◽

pp. 196-208 ◽

Cited By ~ 48

Author(s):

Huixia Liu ◽

Keyi Xing ◽

MengChu Zhou ◽

Libin Han ◽

Feng Wang

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems

Download Full-text

Petri-net-based robust supervisory control of automated manufacturing systems

Control Engineering Practice ◽

10.1016/j.conengprac.2016.05.009 ◽

2016 ◽

Vol 54 ◽

pp. 176-189 ◽

Cited By ~ 17

Author(s):

Hao Yue ◽

Keyi Xing ◽

Hesuan Hu ◽

Weimin Wu ◽

Hongye Su

Keyword(s):

Petri Net ◽

Supervisory Control ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Robust Supervisory Control

Download Full-text

Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets

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

10.1109/icra.2016.7487552 ◽

2016 ◽

Author(s):

Chen Chen ◽

Yan Yang ◽

Hesuan Hu

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis ◽

Assembly Operations

Download Full-text