// Programa para testar se uma ação qualquer é verdadeira
// (existe)
// Digamos que se deseje modelar a -> b e depois 
// se c for verdadeiro d->e e 
// se não f->g e voltar para o inicio

M = (a -> b -> PERG),
PERG = (c -> d -> e -> M | f -> g -> M).

// O processo PERG disponibiliza a ação 'c' e 'f'. 
// Dependendo de qual foi selecionada ele executa 
// o restante das ações e volta ao processo M.
// Executar a ação 'f' corresponde a não executar a ação 'e'.
// Vejam a máquina de estados gerada.

// Veja a diferença do processo M1

M1 = (a -> b -> c -> d -> e -> M1 | a -> b -> f -> g -> M1).

// No processo M1 quando a ação 'a' for executada  vai ser
// escolhido um caminho aleatóriamente e portanto não há
// como o usuário interferir no processo e escolher o caminho.