Tapaal

Ooops
o link para download desapareceu

0/5 estrelas
Licença: Gratuito
Total de downloads:2 (1 na última semana)
Latest version:3.2.0
Colagem de capturas de tela para Tapaal

Descrição

Tapaal 3.2.0 está disponível como um download gratuito na nossa biblioteca de programas. Tapaal está dentro de Educação, na subcategoria Science. 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 HYPHY, NWB ou MicroWorlds EX, que podem ser similares a Tapaal.


Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em: