Guiões de Interacção  

O comportamento de um Guião de Interacção (neste caso chamado X) pode ser descrito pela Petri Net apresentada na fig. 12.

  
Figure 12: Rede de um Guião

A marcação apresentada é a marcação inicial da rede; as Condições que compõem a marcação final estão assinaladas com um duplo círculo.

Para representar a activação da rede vamos considerar o evento open. Quando a transição a ele associada se dá, passa a ser possível a execução de EVSEQ, finda a qual é efectuada a transição nula que provoca a execução de EXEC e o fim da rede.

Note-se que a figura é um esquema da rede representativa do Guião, uma vez que EVSEQ(X) não é verdadeiramente uma transição, mas uma "abstracção" da rede que lhe corresponde (ver secção 5.4.4). Para podermos construir a rede relativa a EVSEQ necessitamos da definição dos operadores e comandos em termos de Petri Nets. Todas as definições que de seguida se apresentam assumem que estamos a falar de EVSEQ(X).