Petri-Netze

Petri-Netze dienen der graphischen Darstellung und Modellierung von diskreten, verteilten Systemen. Eine Stärke der Petri-Netze ist die Modellierung von Prozessen, die parallel in einem System ablaufen. Erfunden wurden Petri-Netze vom deutschen Mathematiker und Informatiker Carl Adam Petri.

Ein Petri-Netz ist ein Graph, der zwei verschiedene Arten von Knoten enthält: Stellen (auch Plätze genannt) und Transitionen. Stellen und Transitionen sind wechselseitig durch gerichtete Kanten (Pfeile) miteinander verbunden. Auf den Stellen können sich Marker befinden, die Verteilung der Marker auf den Stellen bestimmt den aktuellen Zustand des Systems.

Wird eine Transition ausgelöst, so werden Marker von der der Transition vorgelagerten Stelle auf die nachgelagerte Stelle übertragen. Hierbei kann sich die Anzahl Marker auch verändern: Kantengewichte (Zahlen neben den Kanten) geben an, wie viele Marker beim Schalten einer Transition der jeweiligen Stelle entnommen bzw. hinzugefügt werden. Eine Transition kann nur schalten, falls genügend Marker in der vorgelagerten Stelle vorhanden sind.