Modeling and analysis of distributed state space generation for timed Petri nets

Proceedings. 34th Annual Simulation Symposium ◽

10.1109/simsym.2001.922120 ◽

2002 ◽

Author(s):

W.M. Zuberek ◽

I. Rada

Keyword(s):

Petri Nets ◽

State Space ◽

Timed Petri Nets ◽

Modeling And Analysis ◽

State Space Generation

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

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

Formal Methods in Manufacturing ◽

10.1201/9781315216140-13 ◽

2018 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miquel Àngel 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

Colored timed Petri nets for modeling and analysis of cluser tools

Asian Journal of Control ◽

10.1002/asjc.183 ◽

2010 ◽

Vol 12 (3) ◽

pp. 253-266 ◽

Cited By ~ 56

Author(s):

NaiQi Wu ◽

MengChu Zhou

Keyword(s):

Petri Nets ◽

Timed Petri Nets ◽

Modeling And Analysis

Download Full-text

Timed petri nets in modeling and analysis of simple schedules for manufacturing cells

Computers & Mathematics with Applications ◽

10.1016/s0898-1221(99)00157-1 ◽

1999 ◽

Vol 37 (11-12) ◽

pp. 191-206 ◽

Cited By ~ 31

Author(s):

W.M. Zuberek ◽

W. Kubiak

Keyword(s):

Petri Nets ◽

Timed Petri Nets ◽

Manufacturing Cells ◽

Modeling And Analysis

Download Full-text

Timed Petri nets in modeling and analysis of cluster tools

IEEE Transactions on Robotics and Automation ◽

10.1109/70.964658 ◽

2001 ◽

Vol 17 (5) ◽

pp. 562-575 ◽

Cited By ~ 134

Author(s):

W.M. Zuberek

Keyword(s):

Petri Nets ◽

Timed Petri Nets ◽

Modeling And Analysis ◽

Cluster Tools

Download Full-text

Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on Timed Petri Nets

2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC) ◽

10.1109/icnsc.2016.7478970 ◽

2016 ◽

Cited By ~ 1

Author(s):

Xiaolu Zhang ◽

Demin Li ◽

Jiacun Wang ◽

Guanglin Zhang ◽

Xiaoyin Jiang

Keyword(s):

Petri Nets ◽

Timed Petri Nets ◽

Modeling And Analysis ◽

Parking Spot

Download Full-text

On generation of state space for timed Petri nets

Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88 ◽

10.1145/322609.322648 ◽

1988 ◽

Cited By ~ 4

Author(s):

W. M. Zuberek

Keyword(s):

Petri Nets ◽

State Space ◽

Timed Petri Nets

Download Full-text

Local contact state space generation using colored Petri nets

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings. ◽

10.1109/wodes.2002.1167681 ◽

2003 ◽

Cited By ~ 2

Author(s):

J. Rosell

Keyword(s):

Petri Nets ◽

State Space ◽

Colored Petri Nets ◽

Contact State ◽

Local Contact ◽

State Space Generation

Download Full-text

State space generation algorithm for gals systems modeled by IOPT Petri nets

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society ◽

10.1109/iecon.2011.6119762 ◽

2011 ◽

Cited By ~ 11

Author(s):

Filipe Moutinho ◽

Luis Gomes

Keyword(s):

Petri Nets ◽

State Space ◽

Generation Algorithm ◽

State Space Generation ◽

Gals Systems

Download Full-text

Modeling and Analysis of CPS Availability Based on the Object-oriented Timed Petri Nets

2018 37th Chinese Control Conference (CCC) ◽

10.23919/chicc.2018.8482761 ◽

2018 ◽

Author(s):

Yi Yang ◽

Wei Xu ◽

Sixin Wang ◽

Kunlun Wei

Keyword(s):

Petri Nets ◽

Object Oriented ◽

Timed Petri Nets ◽

Modeling And Analysis

Download Full-text