Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model: Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo
This tool is under development and it is available in Beta Test version
This tool is under development and it was published with the objective to test the usage and performance. All the indicators are real and they are gradually being loaded. Slowness and out of service problems may occur in this version.