Introduction aux Réseaux de Petri - F. Vernadat INSA LAAS-CNRS

Correction = correction partielle + terminaison ... Exercice : Calcul de G(N,M0) nb : les arcs de N ... Réseaux de Petri .