Fault monitoring of automated manufacturing systems by first order hybrid Petri nets

2008 IEEE International Conference on Automation Science and Engineering ◽

10.1109/coase.2008.4626493 ◽

2008 ◽

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino M. Mangini

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

First Order ◽

Hybrid Petri Nets ◽

Fault Monitoring

Download Full-text

A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism

Transactions of the Institute of Measurement and Control ◽

10.1177/0142331208095677 ◽

2009 ◽

Vol 33 (1) ◽

pp. 149-167 ◽

Author(s):

M. Dotoli ◽

M.P. Fanti ◽

A.M. Mangini

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Hybrid Petri Nets

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

MODELLING DISTRIBUTED MANUFACTURING SYSTEMS VIA FIRST ORDER HYBRID PETRI NETS

IFAC Proceedings Volumes ◽

10.3182/20060607-3-it-3902.00012 ◽

2006 ◽

Vol 39 (5) ◽

pp. 44-49

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino Marcello Mangini

Keyword(s):

Manufacturing Systems ◽

Distributed Manufacturing ◽

First Order ◽

Hybrid Petri Nets ◽

Distributed 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