(#ZUSTANDSDEKLARATION AZ-SN-GelbRot)
(#ZUSTANDSDEKLARATION AZ-SN-Grün)
(#ZUSTANDSDEKLARATION AZ-SN-Gelb)
(#ZUSTANDSDEKLARATION AZ-SN-Rot)
(#ZUSTANDSDEKLARATION AZ-WO-GelbRot)
(#ZUSTANDSDEKLARATION AZ-WO-Grün)
(#ZUSTANDSDEKLARATION AZ-WO-Gelb)
(#ZUSTANDSDEKLARATION AZ-WO-Rot)
(#EREIGNISDEKLARATION ON-START)
(#EREIGNIS ON-START)
(#ÜBERGANGSDEKLARATION AZ-WO-Rot COUNTDOWN-IST-NULL (#EIN #SN #A #GELB) (#COUNTDOWN 2) AZ-SN-GelbRot)
(#ÜBERGANGSDEKLARATION AZ-SN-GelbRot COUNTDOWN-IST-NULL (#EIN #SN #A #GRÜN) (#EIN #SN #F #GRÜN) (#AUS #SN #A #ROT) (#AUS #SN #A #GELB) (#AUS #SN #F #ROT) (#COUNTDOWN 30) AZ-SN-Grün)
(#ÜBERGANGSDEKLARATION AZ-SN-Grün COUNTDOWN-IST-NULL (#AUS #SN #A #GRÜN) (#AUS #SN #F #GRÜN) (#EIN #SN #A #GELB) (#EIN #SN #F #ROT) (#COUNTDOWN 3) AZ-SN-Gelb)
(#ÜBERGANGSDEKLARATION AZ-SN-Gelb COUNTDOWN-IST-NULL (#AUS #SN #A #GELB) (#EIN #SN #A #ROT) (#COUNTDOWN 4) AZ-SN-Rot)
(#ÜBERGANGSDEKLARATION AZ-SN-Rot COUNTDOWN-IST-NULL (#EIN #WO #A #GELB) (#COUNTDOWN 2) AZ-WO-GelbRot)
(#ÜBERGANGSDEKLARATION AZ-WO-GelbRot COUNTDOWN-IST-NULL (#AUS #WO #A #GELB) (#AUS #WO #A #ROT) (#AUS #WO #F #ROT) (#EIN #WO #F #GRÜN) (#EIN #WO #A #GRÜN) (#COUNTDOWN 30) AZ-WO-Grün)
(#ÜBERGANGSDEKLARATION AZ-WO-Grün COUNTDOWN-IST-NULL (#AUS #WO #A #GRÜN) (#AUS #WO #F #GRÜN) (#EIN #WO #F #ROT) (#EIN #WO #A #GELB) (#COUNTDOWN 3) AZ-WO-Gelb)
(#ÜBERGANGSDEKLARATION AZ-WO-Gelb COUNTDOWN-IST-NULL (#AUS #WO #A #GELB) (#EIN #WO #A #ROT) (#COUNTDOWN 4) AZ-WO-Rot)
(#ÜBERGANGSDEKLARATION INTERPRETER-START  ON-START (#EIN #WO #A #ROT) (#EIN #WO #F #ROT) (#EIN #SN #A #ROT) (#EIN #SN #F #ROT) (#COUNTDOWN 4) AZ-WO-Rot)
