Figure 1 ? Réseau de Petri
Exercice 3 (10 pts). Nous réalisons une étude du réseau de la figure 2. 1- Est ce
un Réseau de Petri ? 2- Est il complètement déterministe ? Donner tous les
conflits potentiels et dire s'ils sont effectifs pour ce marquage. 3- Calculer ses
composantes conservatives. Ce réseau est il borné ? Donner les invariants de
marquage ...