MODULE Ampel

DECLARATIONS								" Zuweisungen

takt2, takt1, takt0 Node ISTYPE 'Buffer.com';				" Declarieren interner Hilfsausgänge
Arot, Agelb, Agruen, Frot, Fgruen PIN 4,10,7,13,17 ISTYPE 'Buffer.com'; " ARot, Agelb, Agruen den Flip-Flop Ausgangen 4,10,7 zuweisen Fussgängerampel
takt PIN 11 ISTYPE 'Buffer.com';					" Den Takt dem Pin 11 zuweisen
fussgaenger pin 20 istype 'buffer.reg';					" für den Fussgänger wurde einfach PIN 20 angenommen


Takt= [takt2,takt1, takt0];						" Rot, Gelb, Gruen dem Set Takt zusammenfassen

EQUATIONS								" Beginn Hauptprogramm


Takt.clk = takt;							" Dem Set Ampel den Takt zuweisen



TRUTH_TABLE 

([fussgaenger, takt2, takt1, takt0] :> [fussgaenger, takt2, takt1, takt0]) -> [Arot,Agelb,Agruen,Frot,Fgruen]);	" Zählstand vor dem Takt :> Zählstand nach dem Takt -> Ausgang
 [0,0,0,0] :> [0,0,0,1] -> [0,0,1,1,0]	; 
 [0,0,0,1] :> [0,0,0,0] -> [0,0,1,1,0]	; 
 [1,0,1,0] :> [0,0,1,1] -> [0,1,0,1,0]	; 
 [0,0,1,1] :> [0,1,0,0] -> [1,0,0,1,0]	; 
 [0,1,0,0] :> [0,1,0,1] -> [1,0,0,0,1]	; 
 [0,1,0,1] :> [0,1,1,0] -> [1,0,0,0,1]	; 
 [0,1,1,0] :> [0,1,1,1] -> [1,0,0,1,0]	; 
 [0,1,1,1] :> [0,0,0,0] -> [1,1,0,1,0]	; 




end		" Ende des Programms