TAPAAL

TAPAAL ist ein pädagogisches Software-Tool zum Modellieren, Simulieren und Verifizieren von Petrinetzen mit Zeitbogen. Es ist für Benutzer gedacht, die Systeme mit Timing-bezogenem Verhalten in einem formalen Modell darstellen müssen. Die Software wurde am Department of Computer Science der Universität Aalborg in Dänemark entwickelt.

Seine Modellierungsfunktionen bieten eine Möglichkeit, Petri-Netze in strukturierter Form zu beschreiben. Die Simulation unterstützt die Untersuchung, wie sich ein Modell im Laufe der Zeit verhält. Die Überprüfung wird verwendet, um die formalen Eigenschaften des Modells zu bewerten. Zusammengenommen machen diese Fähigkeiten TAPAAL relevant für die Bildung mit formaler Modellierung und Analyse.

TAPAAL ist für Linux gelistet und unter einer freien Lizenz verfügbar. Linux-Benutzer können es daher ohne kostenpflichtige Lizenz für die Software verwenden. Die Kategorie Platzierung ist Bildung, weil das Programm auf das Lernen und Arbeiten mit einer formalen Informatik-Modellierungsmethode konzentriert.

MirrorNest hostet keine gespiegelte Kopie von TAPAAL. Stattdessen verlinkt es direkt mit dem offiziellen Release. Diese Anordnung gibt Linux-Benutzern einen Katalogeintrag, der auf die ursprüngliche Verteilung hinweist, während die Plattform und die Lizenzinformationen der Software klar bleiben.