Editor

Im Editor lassen sich Petri-Netze zeichnen, mit Tokens belegen und Transitionen schalten. Ohne Anmeldung wird das Modell nur in diesem Browser gespeichert, angemeldet liegt es im Konto.

Meine Modelle

Deine Modelle werden in deinem Konto gespeichert und stehen dir auf jedem Gerät zur Verfügung.

Melde dich an, um deine Modelle zu sehen oder neue anzulegen.

Was der Editor kann

Petri-Netze im Browser zeichnen: Stellen, Transitionen und Kanten auf einer Zeichenfläche.
Tokens setzen und Transitionen schalten, Schritt für Schritt im Spielmodus.
Modelle als PNML importieren und exportieren, dem Austauschformat für Petri-Netze.
Ohne Anmeldung arbeiten: Das Modell bleibt dann nur in diesem Browser.
Mit einem Google-Konto angemeldet, liegen die Modelle im eigenen Konto.

Die Forschung dahinter

Hinter dem Editor steht die Forschung von Marc Kimmel an der Lehrprofessur für nebenläufige Systeme der Universität Augsburg zu Process Engineering, Process Mining und der Verständlichkeit von Prozessmodellen. Für empirische Studien zur Verständlichkeit von Petri-Netzen entstand dort das Werkzeug Petri-Dish, vorgestellt auf der Petri Nets 2026. Die Analyse von Ereignisprotokollen (Process Discovery und Conformance Checking) ist in Vorbereitung.

Forschung und Veröffentlichungen