A rede originada pela expressão
exp1é a da fig. 15. As duas expressões podem decorrer paralelamente mas a transição nula final garante que a rede só termina quando as duas expressões tiverem terminado.exp2
Figure 15: Rede para o Operador de Concorrência Síncrona