A representação da sequenciação
exp1exp2
Figure 14: Rede para o Operador de Sequenciação
é apresentada na fig. 14 a) e consiste simplesmente em ligar as duas redes, fazendo coincidir a marcação final da primeira com a marcação inicial da segunda. Tal como na secção 5.4.2, a figura 14 a) é apenas um esquema genérico da rede, dado que não sabemos à partida quais são as expressões. Se exp1 e exp2 fossem g1(v1) e g2(v2), respectivamente, teríamos a rede da fig. 14 b). O esquema de substituição será o mesmo para todos as definições apresentadas em seguida.