Optimizing time performance in reachability tree-based simulation

20th European Modeling and Simulation Symposium, EMSS 2008

Volumn , Issue , 2008, Pages 800-805

  Mujica, Miguel ^a   Piera, Miquel Angel ^a   Narciso, Mercedes ^a  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

Coloured Petri nets; Decision support systems; Optimization time; Reachability tree; Simulation

Indexed keywords

BENCHMARKING PROBLEMS; COLOURED PETRI NETS; INDUSTRIAL SYSTEMS; REACHABILITY; REACHABILITY TREE; SIMULATION; TIME STAMPS; TREE-BASED; TWO-STEP ALGORITHMS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION SUPPORT SYSTEMS; FORESTRY; OPTIMIZATION; SOFTWARE AGENTS;

TREES (MATHEMATICS);

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

References (11)

1. Christensen, S., Kristensen, L.M., Mailund, T., 2001"A Sweep-Line Method for State Space Exploration"in TACAS, Springer-Verglag, Berlin-Heidelberg
2. Christensen, S, Mailund T., 2002, "A Generalized Sweep-Line Method for Safety Properties", in FME, Springer- Verlag, Berlin- Heidelberg
3. Dauzére-Peres, S., Lasserre, J.B., 1994, "An Integrated Approach in Production Planning and Scheduling", in Lecture Notes and Mathematical Systems, Springer-Verlag, Berlin.
4. Holzmann, G.J., 1998, "An analysis of Bitstate Hashing", in Formal Methods in System Design, V13 (3), p.p.301-314, November.
5. Jard C., Jeron, T., 1991"Bounded -memory algorithms for Verification On-the Fly", in Proceedings of CAV 1991, vol575 of Lecture Notes in Computer Science.Springer-Verlag.
6. Jensen, K 1997. "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use". Vol. 1 Springer-Verlag. Berlin.
7. Jensen, K, 1997, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Vol 2, Springer-Verlag. Berlin
8. Mujica, M., Piera, M.A., 2006 "Building an Efficient Coloured Petri Net Simulator", in Proceedings of the International Mediterranean Modeling Multiconference, p.p.153-158, October 4-6, Barcelona, Spain
9. Mujica, M., Piera, M.A, 2007, "Data Management to Improve CPN Simulation Performance", in Proceedings of the International Mediterranean Modeling Multiconference,p.p.53-58, 4-6 October, Bergeggi, Italy
10. th EUROSIM Congress on Modeling and Simulation, p.p. 237, September 9-13, Ljubljana, Slovenia
11. Narciso, M., Piera, M.A., y Figueras J., 2005, "Optimización de Sistemas Logísticos Mediante Simulación: Una Metodología Basada en Redes de Petri Coloreadas", Revista Iberoamericana de Automática e Informática Industrial, vol 2(4), p.p. 54-65IAII, Valencia, España.