Petrinetz Editor (PED)

PED ist ein Programm zum Erstellen und Simulieren von Petri-Netzen. Ein eigener Schritt-Modus erlaub dabei eine interaktive Abarbeitung des Netzes.

Simulation können vollautomatisch (mit Angabe des Animationsintervalls und Trace-Log) oder schrittweise ausgeführt werden. Im Einzelschritt-Modus bestehen folgende Eingriffsmöglichkeiten:

• Marken ändern: durch Doppelklicken auf eine Stelle wird diese in den Editiermodus gewechselt, wo sodann die Markenzahl verändert werden kann.
• Transitionen feuern: sofern eine Transition feuerbereit ist, kann diese durch einfaches Anklicken zum Feuern gebracht werden.