Coloured Petri net scheduling models: Timed state space exploration shortages

Mathematics and Computers in Simulation

Volumn 82, Issue 3, 2011, Pages 428-441

  Piera, M A ^a   Music G ^b  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

^b UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Manufacturing systems; Optimization; Petri nets; Simulation

Indexed keywords

COLOURED PETRI NETS; OPTIMAL SOLUTIONS; REDUCED-STATE; SCHEDULING MODELS; SIMULATED SYSTEM; SIMULATION; SIMULATION OPTIMIZATION; SIMULATION TECHNIQUE; STATE SPACE; STATE SPACE EXPLORATION; STATE-SPACE GENERATION; STATE-SPACE REDUCTION;

INDUSTRIAL APPLICATIONS; MANUFACTURE; OPTIMIZATION; PETRI NETS; SPACE RESEARCH;

DISCRETE EVENT SIMULATION;

EID: 82455167191     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2010.10.014     Document Type: Conference Paper

References (12)

1. CPN tools home page. http://people.brunel.ac.uk/∼mastjjb/jeb/info. html.
2. J. Beasley, OR-library. http://people.brunel.ac.uk/mastjjb/jeb/info.html.
3. F.D.J. Bowden A brief survey and synthesis of the roles of time in Petri nets Mathematical and Computer Modelling 31 2000 55 68 (Pubitemid 30368845)
4. K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1 2nd ed. 1997 Springer-Verlag Berlin
5. K.L. Jensen, and W.L. Kristensen Coloured Petri nets and CPN tools for modelling and validation of concurrent systems International Journal on Software Tools for Technology Transfer 9 2007 213 254
6. C. Lakos, and L. Petrucci Modular state space exploration for timed Petri nets International Journal on Software Tools for Technology Transfer 9 2007 393 411 (Pubitemid 46865410)
7. M. Mujica, M. Piera, and M. Narciso Optimizing time performance in reachability tree-based simulation Proceedings of the 20th European Modeling & Simulation Symposium Campora S. Giovanni, Amantea, CS, Italy 2008
8. M. Piera, M. Narciso, A. Guasch, and D. Riera Optimization of logistic and manufacturing systems through simulation: a colored Petri net-based methodology, SIMULATION Transactions of the Society for Modeling and Simulation International 80 2004 121 129
9. J. Proth, and X. Xie Petri nets. A Tool for Design and Management of Manufacturing Systems 1996 John Wiley & Sons, Ltd.
10. G. Tuncel, and G.M. Bayhan Applications of Petri nets in production scheduling: a review International Journal of Advanced Manufacturing Technology 34 2007 762 773 (Pubitemid 47411434)
11. N. Viswanadham, and Y. Narahari Performance Modeling of Automated Manufacturing Systems 1992 Prentice-Hall Englewood Cliffs, USA
12. W.M. Zuberek Timed Petri nets: definitions, properties and applications Microelectronics and Reliability 31 4 1991 627 644 (Pubitemid 21684380)