Chapitre 4 LES RESEAUX DE PETRI - Academie pro
M : Mod`ele (formel) du comportement (issu de Rdp, Automates, Alg.Proc,..) ? :
Mod`ele (formel) ..... Exercice : Calcul de G(N,M0) nb : les arcs de N ... En général
, la propriété bornée dépend du marquage initial (cf réseau G) t3 t2 t1 p1 p0 p2.
Un extrait du document