X Petri ambiente de edición para el modelaje de procesos dinámicos basado en estructuras de redes de petri temporizadas