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.