Building an efficient coloured petri net simulator

International Mediterranean Modelling Multiconference, I3M

Volumn , Issue , 2006, Pages 153-158

  Mujica, Miguel A ^a   Piera, Mota Miquel Angel ^a  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

Coloured Petri Nets; Constraint; Model; Optimization; Simulation

Indexed keywords

COLOURED PETRI NETS; CONSTRAINT; CONSTRAINT LOGIC PROGRAMMING; SEARCH SPACES; SIMULATION;

COMPUTER SIMULATION; DATA STRUCTURES; MODELS; OPTIMIZATION;

SOFTWARE AGENTS;

EID: 84870176711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Mortensen, K,H. 2001 "Efficient Data Structures and Algorithms for a coloured Petri Nets simulator". CPN 2001 workshop Denmark.
2. McAllester, David. 1992 "Constraint Satisfaction Search" in Artificial Intelligence Lecture Notes
3. Kumar, V. 1992 "Algorithms for Constraint Satisfaction Problems: A Survey". In AI magazine 13(1)
4. Gaeta R. 1996, "Efficient Discrete-event Simulation of Coloured Petri Nets". In Transactions on software Engineering vol 22
5. Sanders M.J. 2000 "Efficient Computation of Enabled Transition Bindings in High-Level Petri Nets." In Proceedings if the 2000 IEEE International Conference o Systems
6. Jensen, K 1997. "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use". Vol. 1 Springer-Verlag. Berlin.
7. Gambin A, Piera M. A, Riera D., "A Petri Nets Based Object Oriented Tool for the Scheduling of Stochastic Flexible Manufacturing System" IEEE, 1999