Exercice 2

Gestion des salles d’embarquement et des passerelles d’un aéroport

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 s’assurer qu’il y a une salle
d’embarquement libre pour pouvoir procéder au début de l’enregistrement.

Au cours de l’enregistrement, pour procéder au début d’embarquement, il faut réserver une passerelle libre.
Durant l’embarquement, la passerelle reste réservée, celle-ci n’est libérée qu’à la fin de l’embarquement. De
même, pour la salle d’embarquement. La fin de l’embarquement coïncide avec la fin de l’enregistrement.

Pour les vols à l’arrivée, il faut réserver une passerelle disponible pour le début de débarquement. La fin du
débarquement permet de libérer cette passerelle.

Les conditions/évènements qui traduisent le fonctionnement de l’aéroport sont :

- Les conditions :
o Salle d’embarquement Libre
o Passerelle Libre
o Attente d’embarquement
o Passagers en attente d’enregistrement
o Embarquement
o débarquement
- Les évènements :
o Début d’enregistrement
o Début de débarquement
o Début d’embarquement
o Fin d’embarquement et fin d’enregistrement
o Fin de débarquement

En déterminant les préconditions et les post-conditions des événements cités en haut, Donner le réseau de
Petriqui modélise le fonctionnement de l’aéroport. Indiquer sur le réseau la situation initiale (Marquage initial)