Übung 5.5

Modellierung der Verkehrsampel als Petri-Netz

Zur Steuerung einer Verkehrsampel soll die Netzmatrix ermittelt werden. Zeigen Sie mit Hilfe der Zustandsgleichungen, dass die Ablaufkette nacheinander die Schritte Rot, Rot-gelb, Grün, Gelb aktiviert!

Lösung:

Eine Verkehrsampel nimmt abwechselnd die Zustände ROT, ROTGELB, GRUEN und GELB ein. Dies lässt sich durch folgende Netzmatrix modellieren:

Ausgehend vom Anfangszustand s(k=0)=(1,0,0,0) ergibt sich aus der Zustandsgleichung der Folgezustand, wenn die Transition t1 erfüllt wird:

Mit Hilfe der Zustandsgleichung kann man nun auch zeigen, welche Zustände bei Erfüllung der Transitionen t2, t3 und t4 eingenommen werden.

Speicherprogrammierbare Steuerungen für die Fabrik- und Prozessautomation

4. Auflage erschienen im Hanser Verlag, 2015