M2_ERTS_PN Petri Nets

Partie 1 : Réseaux de Petri autonomes Partie 2 : Extension au temps des réseaux de Petri