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 l