Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

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.
Impressum
Letzte Änderung: 10:57 23.06.2015   Seitenanfang