Solución a un problema de eventos discretos en sistemas dinámicos utilizando las redes de Petri y el software HiPS