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 invarientes 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.
