Tools
Homepages
Am Arbeitsbereich TGI werden verschiedene Werkzeuge
zur Simulation und Verifikation formaler Modelle
eingesetzt. Zu einigen dieser Tools existieren Homepages
mit genaueren Informationen und zusätzlichen
Verweisen.
- Renew.
Renew ist ein hier in Hamburg entwickelter
Petrinetzsimulator auf der Basis von Java. Renew
kann lokal im Sun-Cluster mit dem Befehl
renew gestartet werden.
-
Weitere Petrinetz-Werkzeuge werden auf der
Werkzeug-Übersichtsseite
der
Petri Nets World gesammelt.
Java-Tools
Es gibt einige Tools, die in Java programmiert sind und deshalb
besonders einfach auszuprobieren sind.
