Markovian timed Petri nets for performance analysis of semiconductor manufacturing systems

MuDer Jeng;  Xiaolan Xie;  WenYuan Hung

doi:10.1109/3477.875450

Markovian timed Petri nets for performance analysis of semiconductor manufacturing systems

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

10.1109/3477.875450 ◽

2000 ◽

Vol 30 (5) ◽

pp. 757-771 ◽

Cited By ~ 17

Author(s):

MuDer Jeng ◽

Xiaolan Xie ◽

WenYuan Hung

Keyword(s):

Performance Analysis ◽

Petri Nets ◽

Semiconductor Manufacturing ◽

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

Modeling and performance analysis of semiconductor manufacturing systems

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) ◽

10.1109/icsmc.1998.725487 ◽

2002 ◽

Author(s):

MuDer Jeng ◽

Xiaolan Xie

Keyword(s):

Performance Analysis ◽

Semiconductor Manufacturing ◽

Manufacturing Systems ◽

And Performance

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

176 Performance analysis of the design process using timed Petri Nets

Control Engineering Practice ◽

10.1016/0967-0661(93)91807-9 ◽

1993 ◽

Vol 1 (2) ◽

pp. 404

Keyword(s):

Performance Analysis ◽

Petri Nets ◽

Design Process ◽

Timed Petri Nets

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

Performance analysis of multiprocessor cache consistency protocols using generalized timed Petri nets

Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation - SIGMETRICS '86/PERFORMANCE '86 ◽

10.1145/317499.317534 ◽

1986 ◽

Cited By ~ 14

Author(s):

Mary K. Vernon ◽

Mark A. Holliday

Keyword(s):

Performance Analysis ◽

Petri Nets ◽

Timed Petri Nets ◽

Cache Consistency

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