Exercice III - Modélisation en réseaux de Petri colorés. On veut construire un réseau de Petri coloré modélisant (de mani`ere simplifiée) le déroulement.
Un réseau de Petri (RdP) est un graphe biparti constitué de 2 sortes de n?uds : Les places (représentées ... réseaux de Petri, puisque ceux-ci peuvent passer par différents états dont l'apparition est ... Solutions des exercices 1 à 4. Solution? ...
Modélisation avec les réseaux de C. A. Petri. 1. Définitions. 2. Les bases. 3. Fonctionnement d'un réseau. 4. Graphe de marquage : sémantique. Exercice.