TAPAAL

TAPAAL es una herramienta de software educativo para modelar, simular y verificar las redes Timed-Arc Petri. Está destinado a los usuarios que necesitan representar sistemas con comportamientos relacionados con el tiempo en un modelo formal. El software se desarrolló en el Departamento de Ciencias de la Computación de la Universidad de Aalborg en Dinamarca.

Sus funciones de modelado proporcionan una manera de describir las redes Timed-Arc Petri de forma estructurada. La simulación permite examinar cómo se comporta un modelo con el tiempo. La verificación se utiliza para evaluar las propiedades formales del modelo. Juntos, estas capacidades hacen que TAPAAL sea relevante para la educación que implica modelización y análisis formales.

TAPAAL está lista para Linux y está disponible bajo licencia gratuita. Por lo tanto, los usuarios de Linux pueden utilizarlo sin licencia pagada para el software. La colocación de la categoría es Educación porque el programa se centra en el aprendizaje y el trabajo con un método formal de modelado de la informática.

MirrorNest no alberga una copia reflejada de TAPAAL. En su lugar, se vincula directamente con la liberación oficial. Este arreglo da a los usuarios de Linux una entrada de catálogo que apunta a la distribución original manteniendo la plataforma del software y la información de licencias clara.