Metodología para la simulación de redes de Petri de alto nivel temporizadas

El objetivo de este trabajo es obtener un algoritmo que extraiga el máximo paralelismo de una red de Petri de alto nivel temporizada, con la intención de disminuir su tiempo de ejecución, y garantizando unos resultados correctos si mantienen invariantes las relaciones de causalidad existentes entre los disparos. Se han evaluado diferentes algoritmos de distribución de procesos heurísticos con el fin de facilitar la implantación de esta metodología en un sistema multiprocesador.
 
The aim of this work is to achieve an algorithm that removes the maximum parallelism of a Petri net high level timer, with the purpose of decreasing its runtime, and assuring correct results if maintaining invariant the causal relationships that exist between shots. It has been evaluated different distribution algorithms of heuristic process with the purpose of facilitating the implantation of this methodology in a multiprocessor system.