Réseaux de. Petri. V. Augusto. Introduction. Définition. Présentation informelle.
Définitions formelles d'un réseau de Petri. Fonction- nement d'un 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. M0 =.
. 
