Exercice 1: Exercice 2 : - igt.net

Université de MontréalH2006Département d’informatique et de 7 avril 2006Recherche opérationnelleIFT 2251 Introduction au génie logicielSéance de démonstration #11Professeur Mme Julie VachonDémonstrateurs : Farida Mostefaoui, Youssef Bououlid IdrissiExercice 1:Considérons un système de gestion des ressources dans un petit aéroport. On dispose de 4salles d’embarquement et de 3 passerelles. Pour les vols au départ, il faut d’abords’assurer qu’il y a une salle d’embarquement libre pour pouvoir procéder au début del’enregistrement.Au cours de l’enregistrement, pour procéder au début d’embarquement, il faut réserverune passerelle libre. Durant l’embarquement, la passerelle reste réservée, celle-ci n’estlibérée qu’à la fin de l’embarquement. De même, pour la salle d’embarquement. Pour lesvols à l’arrivée, il faut réserver une passerelle disponible pour le début de débarquement.La fin de débarquement permet de libérer cette passerelle.Question : Modéliser le système de gestion des ressources de l’aéroport par un réseau dePetri, et indiquer son marquage initial.Exercice 2 :Une entreprise de location de voitures a deux types de clients : type « A » et type « B ».Toutes les voitures disponibles peuvent être louées par les clients de type A ou de typeB. A tout moment l’entreprise connait le nombre de voitures louées par les clients de typeA et le nombre de voitures louées par les clients de type B. A la fin de la location d’unevoiture, celle-ci est mise au garage pour entretien. À la fin de l’entretien, la voiture estprête pour une nouvelle location.Question : Modéliser le fonctionnement de l’entreprise de location de voitures par unréseau de Petri. Donner le marquage initial, sachant que l’entreprise possède 8 voitures,5 clients de type « A » et 10 clients de type « B ».

Exercice 3 :1. Modéliser à l’aide d’un réseau de Pétri l’activité cyclique d’un ensemble de feuxde circulation.2. Représenter le fonctionnement de deux feux coordonnant la circulation àl’intersection de deux boulevards. Un feu de circulation ne peut être vert que sil’autre feu se trouve au rouge. On considère initialement que le premier feu estrouge alors que le second est vert.3. Dessinez le graphe des états accessibles ou le graphe de couverture (sinécessaire).Exercice 4 :Construire le graphe de couverture pour chacun des réseaux de Pétri ci-dessous. Qu’enconcluez-vous (propriétés du réseau)?Réseau1:Réseau2:Réseau3:t 1P 1P 2P 3 P4t 2t 3t 4t 1t 3P 1P 2 P3P 4t 2t 4t 5