Tapaal 3.2.0 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. Tapaal está dentro de Educação, na subcategoria Science. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Tapaal tem como desenvolvedor TAPAAL (Aalborg University).
Do desenvolvedor:
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).
Confira mais programas, tais como NetLogo, Workcraft ou Visual Studio Code, que podem ser similares a Tapaal.