Tapaal
Descrição
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.
Comentários
Subscribe to commentsPor favor, adicione um comentário explicando o raciocínio por trás do seu voto.