Tapaal 3.2.0 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Diese Software ist als "Bildung und Wissenschaft" kategorisiert.
Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Dieses kostenlose Programm wurde ursprünglich von TAPAAL (Aalborg University) designt.
Vom Entwickler:
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).
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie RC-AirSim - RC Model Airplane Flight Simulator oder Net Tools for Development informieren, die an Tapaal ähnlich sein können.