Ein grafisch‑mathematisches Formalismus zur Modellierung diskreter, nebenläufiger, asynchroner und verteilter Systeme mittels Stellen (places), Transitionen, gerichteten Kanten und Marken (tokens); das Systemverhalten wird durch die Markenverteilung (Markierung) und die Schaltregeln der Transitionen bestimmt, die Marken zwischen Stellen verschieben.

Prinzip

Die Systemdynamik folgt dem Petri‑Netz‑Token‑Spiel: Eine Transition ist aktiviert, wenn ihre Eingangsstellen die erforderlichen Marken enthalten; das Schalten verbraucht Marken an den Eingängen und produziert Marken an den Ausgängen entsprechend den Kantenvielheiten; strukturelle Eigenschaften (Erreichbarkeit, Begrenztheit, Lebendigkeit, Deadlock) ergeben sich aus Netzstruktur und Anfangsmarkierung.

Demonstration

Illustratives Szenario — Producer–Consumer mit begrenztem Puffer: Situation — Producer und Consumer teilen einen Puffer der Kapazität C. Erkennung — Stellen: IdleProducer, FreeSlots (C Marken initial repräsentieren freie Plätze), ItemsInBuffer; Transitionen: Produce (benötigt freien Slot) und Consume (benötigt ein Item). Aktion — Produce schalten, wenn FreeSlots‑Marke vorhanden (FreeSlots dekrementieren, ItemsInBuffer inkrementieren); Consume schalten, wenn Item‑Marke vorliegt. Konsequenz — Erreichbarkeitsanalyse oder Simulation zeigt, ob Deadlocks möglich sind, ob der Puffer überläuft und ob beide Prozesse bei gegebenen Raten lebendig bleiben.

Fehlanwendung

Einfaches (untimed, uncolored) Petri‑Netz zur Darstellung datenabhängigen Verhaltens, Prioritäten oder Zeitverhalten zu verwenden, ohne geeignete Erweiterung, oder Marken stillschweigend als unterscheidbare Datenwerte zu behandeln, obwohl das Modell identical‑tokens voraussetzt; der Fehler liegt in der Verwechslung der Semantik mit weitergehenden Formalismen wie Colored/Timed/Stochastic Petri Nets.

Konsequenz

Richtig angewendet ermöglicht Petri‑Netz‑Modellierung die formale Prüfung nebenläufiger Eigenschaften (Deadlock‑Erkennung, gegenseitiger Ausschluss), unterstützt kompositionales Design und leitet Änderungen an der Architektur; fehlerhafte Anwendung kann falsche Sicherheits‑ oder Lebendigkeitsaussagen liefern, wenn Zeit, Daten oder Wahrscheinlichkeiten relevant sind und nicht modelliert werden.

Umkehrung

Sind Zeit, stochastische Dauern, Prioritäten oder Token‑Attribute kritisch, müssen klassische Petri‑Netze erweitert werden (timed, stochastic, colored, priority nets); diese Erweiterungen ändern die Analysemethoden und können zur Zustandsexplosion oder zur Notwendigkeit von Approximationen führen.

Abgrenzung

Eindeutig innerhalb — Modellierung von Steuerfluss, Ressourcenallokation, Synchronisation und Nebenläufigkeit in Fertigungszellen, Protokollen oder Workflow‑Spezifikationen. Grenzfall — Systeme, bei denen die Identität von Marken zählt (Colored Petri Nets einsetzen). Eindeutig außerhalb — kontinuierliche Steuerungssysteme beschrieben durch Differentialgleichungen ohne discrete‑token‑Semantik.

Semantische Spannung

Gegensatz zwischen graphischer Einfachheit und formaler Prüfbarkeit einfacher Petri‑Netze und dem Bedarf an Ausdrucksstärke für Zeit, Daten und Wahrscheinlichkeit; reichere Formalismen erhöhen die Modelltreue, erschweren aber die Skalierbarkeit und Analyse.

Synthese

Petri‑Netze sind ein grundlegendes Werkzeug zur Darstellung von Nebenläufigkeit und Kausalität; verwenden Sie das Basismodell für strukturelle Analysen und wählen Sie gezielte Erweiterungen (timed, stochastic, colored) sobald Zeit, Daten oder Wahrscheinlichkeiten die Korrektheit oder Leistung beeinflussen.