Petri-Netz-Editor.
Stellen, Transitionen und Marken modellieren. Aktivierte Transitionen feuern und Markierung beobachten.
Wozu dient der Petri-Netz-Editor?
Mit dem Petri-Netz-Editor modellierst und simulierst du nebenläufige Abläufe. Du legst Stellen und Transitionen an, verbindest sie mit gerichteten Kanten und verteilst Marken auf den Stellen. Das Tool zeigt dir, welche Transitionen aktivierbar sind, und lässt dich Schritte schalten, sodass du den Ablauf live nachvollziehst. Ideal für Studium, Lehre und Modellierungsaufgaben.
So wird greifbar, wie sich Marken durch das Netz bewegen und welche Zustände erreichbar sind, etwa bei Prozessen, Synchronisation oder Ressourcen. Statt trocken auf dem Papier zu rechnen, klickst du die Schritte einfach durch. Der gesamte Editor läuft vollständig in deinem Browser, dein Netz wird nicht an einen Server gesendet.
Beispiele
- Eine Stelle mit zwei Marken stellt zwei verfügbare Ressourcen dar.
- Eine Transition ist aktivierbar, wenn alle eingehenden Stellen genug Marken haben.
- Beim Schalten verschiebt sich eine Marke entlang der gerichteten Kanten.
- Ein einfaches Netz modelliert das klassische Produzent-Konsument-Problem.
Häufige Fragen zum Petri-Netz-Editor
Was ist ein Petri-Netz?
Ein Petri-Netz ist ein grafisches Modell für nebenläufige und verteilte Abläufe. Es besteht aus Stellen, Transitionen und Marken und beschreibt, wie sich ein System Schritt für Schritt verändert.
Wann ist eine Transition aktivierbar?
Eine Transition ist aktivierbar, wenn alle eingehenden Stellen mindestens so viele Marken enthalten, wie die Kanten verlangen. Das Tool hebt aktivierbare Transitionen hervor.
Kann ich den Ablauf simulieren?
Ja, du schaltest aktivierbare Transitionen einzeln und siehst live, wie sich die Marken im Netz verschieben. So kannst du den gesamten Ablauf Schritt für Schritt durchspielen.
Wird mein Netz an einen Server gesendet?
Nein, der Editor läuft komplett in deinem Browser. Es werden keine Daten übertragen oder gespeichert.
Ist der Petri-Netz-Editor kostenlos?
Ja, das Tool ist kostenlos und ohne Anmeldung nutzbar.