Departement d’informatique, UHBC

Examen MEPS (2021/2022)

Exercice1 (7pts). Indiquer si les affirmations 1,2 et 3 sont vraies ou fausses (une
réponse juste=+1 pt, fausse=-1pt)

1. Si une transition Ti est quasi-vivante pour le marquage initial M0 , alors elle est
quasi-vivante pour M0′ > M0 .
2. Si une transition Ti est vivante pour le marquage initial M0 , alors elle est vivante
pour M0′ > M0 .
3. Si un RDP est sans blocage pour le marquage initial M0 , alors il est sans blocage
pour M0′ > M0 .
4. Expliquer la différence entre une CM discrète et une CM continue en termes de
temps de séjour dans un état donné.
5. Que representent les elements de la matrice génératrice d’une CM continue.

Exercice2 (6pts). Calculer l’invariant de marquage du RDP ci-dessous.

Exercice3 (7pts). Avec des amis vous jouez au jeu suivant : trois bougies
numérotées de 1 à 3 sont sur une table. Un dé est lancé de façon répétée. Si
le résultat est 1 ou 6 alors la première bougie est allumée si elle est éteinte ou
éteinte si elle est allumée. La même chose est faite avec la deuxième bougie si le
résultat obtenu est 2 ou 5 et avec la bougie 3 si le résultat est 3 ou 4. Le jeu se
termine lorsque toutes les bougies sont allumées. Initialement, les trois bougies
sont éteintes.
1. Modeliser ce jeu par une CM à temps discret.
2. Soit N le nombre de lancers de dé nécessaires jusqu’à ce que les trois bougies
soient allumées. Calculer E(N ) (le temps moyen jusqu’à ce que les trois bougies
soient allumées).