Академический Документы
Профессиональный Документы
Культура Документы
La présentation de la copie.
Exercice 1 (8Pts)
1. Réduire le RdP suivant, en expliquant les méthodes de réductions employées, pour les
marquages initiaux suivants :
a. M0A = (1, 0, 0, 0, 0, 0)
b. M0B = (1, 1, 0, 1, 0, 0)
2. Pour le marquage initial M0A :
a. Donnez le graphe de marquage ou le graphe de couverture du RdP réduit.
b. Vérifiez les propriétés suivantes :
i. Vivacité et quasi-vivacité
ii. blocage
iii. bornage
iv. réinitialisable
P1 P6
T5
T1
P2 P3
T2 T3
P4 P5
T4
1
Exercice 2 (4 Pts)
Pr Po
é st
= =
Construire le réseaux de Petri associé.
Exercice 3 (8Pts)
Deux calculateurs utilisent une mémoire commune. On suppose que chaque calculateur peut
avoir trois états : soit il n'a pas besoin de la mémoire, soit il la demande mais ne l'utilise pas
encore, soit il l'utilise.
Bonne chance