Fiche activité sur les réseaux de Petri.