Se não considerarmos a Expressão de Comportamento vazia, que pode ser representada por uma rede com uma única Condição e nenhuma Transição, a expressão mais simples que podemos ter é a que inclui um único Guião (ou a instrução input):
gi(var)Esta dá origem à rede apresentada na fig. 13.
Como a execução de um GI não é atómica, torna-se necessário decompô-la em três Eventos.
Quando é iniciada a execução de gi dá-se o evento start e, consequentemente, é disparada a transição a ele associada.
A esta está associada a cláusula CONTEXT de gi, pelo que a transição só é possível se ela se verificar
.
Se a execução for cancelada dá-se o evento cancel, à transição a ele correspondente não está associada nenhuma condição ou acção.
Caso gi termine com sucesso dá-se o evento end.
Existem duas transições correspondentes a este evento.
A uma são associadas a condição e a acção de TRANS relativas a gi(var).
Esta transição corresponde ao fim normal da expressão.
À outra são associadas a negação da condição anterior e a acção EXCEP de TRANS relativa a gi(var).
Esta transição corresponde à situação em que a condição de TRANS não se verifica e o diálogo segundo gi é anulado.
Por uma questão de simplificação da composição, vamos considerar sempre redes com marcações final e inicial de uma só condição, o que é facilmente conseguido pela utilização de transições nulas.
