Un réseau de Petri (RdP) est un graphe biparti constitué de 2 sortes de n?uds :
Les .... RdP coloré. Un RdP coloré comporte des jetons auxquelles on attribue
des couleurs (possibilité de représenter ..... Solutions des exercices 1 à 4.
Solution ... 
