const C = 10
INIC = PESSOAS[0],
PESSOAS[x:0..C] = (disp -> imprime[x] -> PESSOAS[x] |
                   when (x < C) vaga -> entra -> entrou -> PESSOAS[x+1] |
                   when (x >= 0) pessoa -> sai -> saiu -> PESSOAS[x-1]).
NORTE = (portao -> vaga -> entnorte -> NORTE | portao -> pessoa -> sainorte -> NORTE).
SUL  = (portao -> vaga -> entsul -> SUL | portao -> pessoa -> saisul -> SUL).
ENT = ({entnorte,entsul} -> entra -> ENT | {sainorte,saisul} -> sai -> ENT).
CONTROLE = (portao -> {entrou,saiu} -> CONTROLE | aperta -> disp -> CONTROLE).
||JARDIM = (CONTROLE || ENT || NORTE || SUL || INIC).