Petrinetz-Editor und Simulator
Mit diesem Applet können Sie Petrinetze bearbeiten und simulieren
(mit Netscape 7 oder Mozilla - nicht mit Internet-Explorer !).
Es ist allerdings nicht möglich, Netze abzuspeichern. Wenn Sie sich
jedoch die Datei petri.jar herunterladen,
können Sie diese als "executable Jar-File" starten und damit auch
Netze in Dateien abspeichern und wieder laden.