|
Petri-Netz Editor - Screenshots |
|
|
|
|
|
|
|
|
About |
|
Über Petri-Netz Editor 1.0... |
|
|
|
|
|
|
|
|
|
|
Editor |
|
Arbeitsfläche, Übersicht, Komponentenbaum, Eigenschaften, Trace-Log |
|
|
|
|
|
|
|
|
|
|
|
Einstellungen |
|
Bezeichnung, Seitenzahl, Simulation, Sprachausgabe |
|
|
|
|
|
|
|
|
|
|
Verschieben |
|
Verschieben einer Auswahlmenge |
|
|
|
|
|
|
|
|
|
|
|
Verschieben |
|
Verschieben einer Auswahlmenge |
|
|
|
|
|
|
|
|
|
|
Schritt-Modus |
|
Aktivierte Transitionen werden hervorgehoben und können per Mausklick gefeuert werden. |
|
|
|
|
|
|
|
|
|
|
|
Druckvorschau |
|
Aufteilung des Ausdrucks auf mehrere Seiten |
|
|
|
|
|
|
|
|
|
|
Petri-Netz Grafik |
|
Das Petri-Netz kann auch als Grafik-Datei gespeichert werden. |
|
|
|
|
|
|
|
|
