(CEG4561/CSI4541 ? Chapitre 4, annexe) 4.2. Les réseaux de Petri ...

(CEG4561/CSI4541 ? Chapitre 4, annexe) 4.2. Les réseaux de Petri ...

Les réseaux de Petri. 4.2.1 Définitions. ? Un réseau de Petri (RdP) est un graphe biparti constitué de 2 sortes de n?uds : Les.