Die vereinfachte Modellierung einer Verkehrsampel für eine Fahrtrichtung ist als Petri-Netz vorgegeben und soll nun um eine Fußgängerampel erweitert werden.

Im Ausgangs- bzw. Anfangszustand zeigen die Ampeln für beide Richtungen Fahrzeuge und Fußgänger - rot. Immer dann (und nur dann), wenn dies der Fall ist, haben die Ampeln jeweils die Möglichkeit, den Verkehr in ihrer Richtung freizuschalten. Erst wenn die Schaltsequenz abgeschlossen ist, beide Ampeln also wieder rot zeigen, kann eine neue Schaltsequenz für Fußgänger oder für Fahrzeuge beginnen. Die Reihenfolge dieser Schaltsequenzen ist dabei nicht festgelegt, so kann beispielsweise auch zweimal nacheinander der Verkehr für die Fußgänger freigegeben werden.

Erweitern Sie das gegebene Petri-Netz um die Funktionalität der Fußgängerampel. Benennen Sie hinzugefügte Stellen geeignet und stellen Sie die Anfangsmarkierung durch Einzeichnen von Token dar.
Sehen Sie eine Stelle für die Synchronisation der beiden Ampelteile vor. Das Petri-Netz ist als B/E-Netz zu modellieren, das nach der starken Schaltregel arbeitet.

Erweiterung des Petri-Netzes