Arbeitsbereich
THEORETISCHE
GRUNDLAGEN DER
INFORMATIK
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.
- Design/CPN.
Dies Programm ist ein sehr umfangreicher Petrinetzeditor
und Simulator.
Java-Tools
Es gibt einige Tools, die in Java programmiert sind und deshalb
besonders einfach auszuprobieren sind.
[TGI]
[Informatik]
[Universität]
Letzte Änderung: 17:51 03.04.2003
Impressum
