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.
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.