2008
EMSS 2008 Proceeding
Optimizing time performance in reachability tree-based simulation
Authors: Miguel Mujica, Miquel Angel Piera, Mercedes Narciso
Abstract
This paper presents the highlights of a two-stepalgorithm based on the reachability tree for optimizingindustrial system models coded with the Coloured PetriNet formalism. The first step of the algorithm consistsin generating all the possible states that can be reachedby the system, and the second step of the algorithmfocuses on updating the time stamp values of the mostpromising state subspaces of the system. Some testswith benchmarking problems have been made toevaluate the efficiency of the second part of thealgorithm, and the results obtained are analyzed in orderto identify the algorithm processes that needimprovements. Based on the results, an heuristic hasbeen developed to improve the performance with abetter choice of states to be expanded during thegeneration of the reachability tree.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
