Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-3 ◽

2014 ◽

pp. 3-27 ◽

Cited By ~ 1

Author(s):

Maria Cabasino ◽

Mariagrazia Dotoli ◽

Carla Seatzu

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Decision support in flexible manufacturing systems using timed Petri nets

Journal of Manufacturing Systems ◽

10.1016/0278-6125(86)90003-8 ◽

1986 ◽

Vol 5 (2) ◽

pp. 89-101 ◽

Cited By ~ 36

Author(s):

Ramarathnam Ravichandran ◽

Amiya K. Chakravarty

Keyword(s):

Decision Support ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

063 Control synthesis of manufacturing systems modeled by a class of controlled timed petri nets

Control Engineering Practice ◽

10.1016/0967-0661(94)91690-x ◽

1994 ◽

Vol 2 (6) ◽

pp. 1069

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Control Synthesis ◽

Timed Petri Nets

Download Full-text

Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2021.3123963 ◽

2022 ◽

pp. 1-12

Author(s):

Bo Huang ◽

MengChu Zhou

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Cellular Manufacturing ◽

Cellular Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-17 ◽

2014 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miguel Piera

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text

Flow optimization method for control synthesis of flexible manufacturing systems modeled by controlled timed Petri nets

[1993] Proceedings IEEE International Conference on Robotics and Automation ◽

10.1109/robot.1993.292044 ◽

2002 ◽

Cited By ~ 7

Author(s):

J. Long ◽

B. Descotes-Genon

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Optimization Method ◽

Control Synthesis ◽

Timed Petri Nets ◽

Flow Optimization

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

Decision support in decision support in flexible manufacturing systems using timed petri nets

Journal of Manufacturing Systems ◽

10.1016/0278-6125(93)90105-3 ◽

1993 ◽

Vol 12 (1) ◽

pp. 60

Keyword(s):

Decision Support ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2010.2046412 ◽

2010 ◽

Vol 7 (4) ◽

pp. 933-944 ◽

Cited By ~ 56

Author(s):

Hesuan Hu ◽

MengChu Zhou ◽

Zhiwu Li

Keyword(s):

Petri Nets ◽

High Performance ◽

Manufacturing Systems ◽

Low Cost ◽

Automated Manufacturing ◽

Timed Petri Nets ◽

Automated Manufacturing Systems

Download Full-text

Deadlock-free scheduling for manufacturing systems based on timed Petri nets and model predictive control

2015 54th IEEE Conference on Decision and Control (CDC) ◽

10.1109/cdc.2015.7402591 ◽

2015 ◽

Cited By ~ 1

Author(s):

Dimitri Lefebvre

Keyword(s):

Model Predictive Control ◽

Petri Nets ◽

Predictive Control ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Scheduling of Flexible Manufacturing Systems Using Timed Petri Nets and Mathematical Programming

2006 8th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2006.1678414 ◽

2006 ◽

Cited By ~ 4

Author(s):

T. Bourdeaud'huy ◽

S. Hanafi ◽

P. Yim

Keyword(s):

Mathematical Programming ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text