channel abrir
channel lerCartao, autenticar : ({1..N},{1..N})
channel abrePortao, naoAbre
channel mensagemBV ,mensagemErro : {1..N}

Portao = abrir -> lerCartao?codigo?senha -> autenticar!codigo!senha -> (abrePortao -> mensagemBV!codigo->Portao
									[] naoAbre -> mensagemErro!codigo->Portao)



Servidor = autenticar?codigo?senha -> (abrePortao -> Servidor
				      |~| naoAbre -> Servidor)



EntradaCin = Portao[|{|autenticar,abrePortao,naoAbre|}|]Servidor