RELOGIO = (s[1..2].tick -> RELOGIO).

SINALEIRA(A=10,B=20,C=10,D=20) = AMARELO1[1],
AMARELO1[i:1..A] = (when (i < A) tick -> amarelo -> AMARELO1[i+1] | when (i == A) tick -> amarelo -> VERMELHO[1]),
VERMELHO[i:1..B] = (when (i < B) tick -> vermelho -> VERMELHO[i+1] | when (i == B) tick -> vermelho -> AMARELO2[1]),
AMARELO2[i:1..C] = (when (i < C) tick -> amarelo -> AMARELO2[i+1] | when (i == C) tick -> amarelo -> VERDE[1]),
VERDE[i:1..D]    = (when (i == 1) tick -> entra -> verde -> VERDE[i+1] |  when (i> 1 && i < D) tick -> verde -> VERDE[i+1] |
                    when (i == D) tick -> verde -> sai -> AMARELO1[1]).

CONTROLE = (s[i:1..2].entra -> s[i].sai -> CONTROLE).

||SIST = (RELOGIO || s[1]:SINALEIRA(2,4,2,4) || s[2]:SINALEIRA(1,3,1,6) || CONTROLE).