Processo CCS para um dispensador de bebidas com dois preços diferentes
Um dispensador de bebidas exige que o usuário insira uma moeda ( ) e pressione um dos três botões: solicita uma xícara de chá , o mesmo para café , e solicita um reembolso (ou seja, a máquina devolve a moeda: ). Este dispensador pode ser modelado pelo seguinte processo CCS :ˉ d cháechá ˉ r ˉ...