Data management to improve CPN simulation performance

International Mediterranean Modeling Multiconference, I3M 2007

Volumn , Issue , 2007, Pages

  Mujica, Miguel ^a   Piera, Miquel Angel ^a  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COLOURED PETRI NETS; CONSTRAINT LOGIC PROGRAMMING; COVERABILITY; EVALUATION ALGORITHM; SEARCH ALGORITHMS; SEARCH TECHNIQUE; SIMULATION PERFORMANCE;

ALGORITHMS; INFORMATION MANAGEMENT;

TREES (MATHEMATICS);

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

References (8)

1. McAllester, David. 1992 "Constraint Satisfaction Search" in Artificial Intelligence Lecture Notes
2. Gaeta R. 1996, "Efficient Discrete-event Simulation of Coloured Petri Nets". In Transactions on software Engineering vol 22
3. Gambin A, Piera M. A, Riera D., "A Petri Nets Based Object Oriented Tool for the Scheduling of Stochastic Flexible Manufacturing System" IEEE, 1999
4. 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
5. Jensen, K 1997. "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use". Vol. 1 Springer-Verlag. Berlin.
6. Mujica, M., Piera, M.A."Building an Efficient Coloured Petri Net Simulator",in Proceedings of the International Mediterranean Modeling Multiconference, Barcelona 2006, p.p. 153-158
7. Mortensen H, K, "Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator",CPN 2001 workshop, Denmark
8. Mehlhorn, K, "Data Structures and Algorithms2,Graph algorithms and NP-completeness", Berlin,Springer-Verlag 1984