Finalmente, a repetição
expé representada por uma rede em que é adicionada uma transição da marcação final de exp para a sua marcação inicial (rede da fig. 18).![]()
Figure 18: Rede para o Operador de Repetição
Para expressar o facto de que a expressão não termina, esta rede não tem marcação final. Deste modo, nas expressões
exp1não é efectuada a unificação entre as marcações finais de exp2 e de exp1exp2
exp1+exp2