Les réseaux de Petri — Annie Choquet-Geniet