marking u: assignment of tokens to the places of Petri net 2 t2 p t3 13◼ marking µ : assignment of tokens to the places of Petri net µ = µ1 , µ2 , µ3 , … µn 13 p2 t1 p1 t2 p4 t3 p3