//Zustände für den Normalbetrieb der Ampelanlage
(#GruppenDEKLARATION NormalBetrieb)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb SN-GelbRot)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb SN-Grün)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb SN-Gelb)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb SN-Rot)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb WO-GelbRot)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb WO-Grün)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb WO-Gelb)
(#GruppenZUSTANDSDEKLARATION NormalBetrieb WO-Rot)

//Übergänge des Normalbetriebes
(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'WO-Rot 
  COUNTDOWN-IST-NULL 
  (#EIN #SN #A #GELB) (#COUNTDOWN 2)
  +NormalBetrieb'SN-GelbRot
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'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)
  +NormalBetrieb'SN-Grün
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'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)
  +NormalBetrieb'SN-Gelb
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'SN-Gelb 
  COUNTDOWN-IST-NULL 
  (#AUS #SN #A #GELB) (#EIN #SN #A #ROT) (#COUNTDOWN 4)
  +NormalBetrieb'SN-Rot
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'SN-Rot 
  COUNTDOWN-IST-NULL 
  (#EIN #WO #A #GELB) (#COUNTDOWN 2)
  +NormalBetrieb'WO-GelbRot
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'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)
  +NormalBetrieb'WO-Grün
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'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)
  +NormalBetrieb'WO-Gelb
)

(#GruppenÜBERGANGSDEKLARATION 
  +NormalBetrieb'WO-Gelb 
  COUNTDOWN-IST-NULL 
  (#AUS #WO #A #GELB) (#EIN #WO #A #ROT) (#COUNTDOWN 4)
  +NormalBetrieb'WO-Rot
)

//Start der Ampelanlage
(#EREIGNISDEKLARATION ON-START) //Startereignis
(#EREIGNIS ON-START) //Startereignis auslösen
(#GruppenÜBERGANGSDEKLARATION 
  INTERPRETER-START 
  ON-START 
  (#EIN #WO #A #ROT) (#EIN #WO #F #ROT) (#EIN #SN #A #ROT) (#EIN #SN #F #ROT) (#COUNTDOWN 4)
  +NormalBetrieb'WO-Rot +SN-DruckKnopf'nicht-gedrückt
)
