Tapaal 3.2.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. Tapaal appartient à la sous-catégorie Science de Éducation et Science. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. TAPAAL (Aalborg University) est le développeur de ce programme gratuit.
Du développeur:
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).
Au vu de votre téléchargement de Tapaal, nous vous recommandons des programmes similaires tels que Visual Studio Code ou Cell Illustrator.