Réseaux de Petri
cnam-sarlp