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