Seja uma rede de Petri com os seguintes elementos:

• Conjunto de lugares: P = {p1,p2,p3,p4}

• Conjunto de transições: T = {a,b,c,d}

• Pré condições das transições:

Considere que a rede está com uma marcação inicial p1 = 2, p2 = 0, p3 = 0 e p4 = 0, e disparam-se as transições a, b, c e d, em sequência e nesta ordem.

A marcação final da rede será