Tapaal

von TAPAAL (Aalborg University)

Jetzt herunterladen von der Website des Entwicklers

Lizenz: Freeware

Downloads insgesamt:5

Die neueste Version:3.2

Falschangaben melden

Produktbeschreibung

Bildschirmfoto

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 Canon IJ Network Tool informieren, die an Tapaal ähnlich sein können.

Tapaal herunterladen von der Website des Entwicklers

nützlich

So schützen Sie Ihren Mac vor Malware

nützlich

So teilen Sie Dateien

nützlich

Wie man mit 10 Fingern schreibt