1 ressource : réseau de Pétri