Université Mouloud Mammeri de Tizi-Ouzou Module : MEPS

Département d’Informatique Spécialité : M1 SII

Année : 2023/2024
_______________________________________________________________________________

Contrôle continu N°2 : Réseaux de Pétri

Exercice n°1 : Quelles sont les transitions franchissables ou pas ? Si oui, donnez le marquage initial et
le marquage après franchissement. 2pts

a) b) c)

e) f)
d)

3 2

2 2

g) h) i)
Université Mouloud Mammeri de Tizi-Ouzou Module : MEPS
Département d’Informatique Spécialité : M1 SII
Année : 2023/2024
_______________________________________________________________________________

Exercice n° 2 : 3,5pts
Soit le réseau de Pétri suivant.

1. Donner le marquage initial M0, les matrice Post et Pré.

2. Donner le graphe des marquages accessibles.
3. Etudier les propriétés du réseau de pétri.

Exercice n°3 : 2pts

Modéliser avec un réseau de Pétri d’un cabinet médical avec un médecin et une file d’attente à l’infini
(Fait en cours).
Ce qui est demandé est de reprendre le modèle donné en cours pour que la salle d’attente n’accepte que
10 patients et faire intervenir deux médecins dans la salle de soins.

Exercice n°4 : 3,5pts

Considérons un système de gestion des ressources dans un petit aéroport. On dispose de 4 salles
d’embarquement et de 3 passerelles. Pour les vols au départ, il faut d’abord réserver une salle
d’embarquement libre (s libre) pour exécuter l’évènement ‘début d’enregistrement’ (dEr) ce qui permet
d’exécuter l’activité ‘enregistrement’ (Er). Ensuite, tout en maintenant la salle d’embarquement
réservée, pour réaliser l’évènement ‘début d’embarquement’ (dEb) il faut réserver une passerelle libre
(p libre). Cela permet d’exécuter l’activité ‘embarquement’ (Eb). Enfin l’évènement ‘fin
d’embarquement’ (fEb) entraine la libération de la salle d’embarquement et de la passerelle.

Pour les vols à l’arrivée, il faut réserver une passerelle disponible pour l’évènement ‘début
débarquement’ (dD) ce qui permet d’exécuter l’activité ‘débarquement’ (D). L’évènement ‘fin
débarquement (fD) termine cette activité en libérant la ressource passerelle.

- Modéliser ce système par un réseau de Pétri.

Université Mouloud Mammeri de Tizi-Ouzou Module : MEPS
Département d’Informatique Spécialité : M1 SII
Année : 2023/2024
_______________________________________________________________________________

Exercice n°5 : 5pts

On se donne le fonctionnement d’une entreprise de location de voiture. Dans cette entreprise, il y a
deux types de client (type1 et type2).
Les clients de type1 (respectivement de type2) peuvent faire une demande de location de voiture. Cette
demande est satisfaite si une voiture est disponible.
Après la satisfaction de la demande, la voiture est louée.
L’activité de location se termine par un contrat de mise fin de location. Le client restitue la voiture et
celle-ci est mise au garage pour entretien.
Après l’entretien, la voiture est à mise de nouveau à la disposition des clients pour location.
- Modéliser le fonctionnement de cette entreprise par un réseau de Pétri.