Introduction aux réseaux de Petri de haut niveau (les réseaux colorés)

n processus en exclusion mutuelle sur 1 ressource. Attente. En cours. Repos ... concise et paramétrée des réseaux de Petri : les réseaux de haut-niveau ...


Un extrait du document