TD 11 : Réseaux de Pétri - [Verimag]
réseau. Séquence de franchisse- ment. Modélisation. Exercice p1 p2 p3 p4 t1 t2. 2. 2. La séquence t1t2t1 est franchissable dans le réseau marqué N = (R,M0) avec.
moved 111614
moved 124812
moved 111613
moved 238078
moved 99916
moved 128700
moved 3824
moved 3825
moved 77289
moved 43120
moved 97618
moved 46327
moved 124812
moved 111613
moved 238078
moved 99916
moved 128700
moved 3824
moved 3825
moved 77289
moved 43120
moved 97618
moved 46327

