Tapaal

por TAPAAL (Aalborg University)

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Gratuita

Descargas totales:3

Latest version:3.2

Reportar información incorrecta

Descripción

Captura de pantalla

Tapaal 3.2.0 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. El auténtico artífice de este programa sin coste es TAPAAL (Aalborg University). Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. 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 Net Tools for Development, que podrían ser similares a Tapaal.

Descarga Tapaal desde el sitio web del desarrollador

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos