Tapaal

por TAPAAL (Aalborg University)

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Gratuita

Descargas totales:5

Latest version:3.2

Reportar información incorrecta

Descripción

Captura de pantalla

Tapaal 3.2.0 puede descargarse desde nuestra página web gratuitamente. El auténtico artífice de este programa sin coste es TAPAAL (Aalborg University). Nuestro propio antivirus ha comprobado esta descarga y ha determinado que está libre de virus. Tapaal pertenece al grupo de programas Educación y Ciencia.

Del desarrollador:

TAPAAL is a tool for modelling, simulation, and verification of Timed-Arc Petri nets. The TAPAAL tool offers a graphical editor for drawing TAPN models, a simulator for experimenting with the designed nets, and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting).

Quizás esté interesado en probar otros programas, como RC-AirSim - RC Model Airplane Flight Simulator o Canon IJ Network Tool, que podrían ser similares a Tapaal.

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos