Exercice 2 : Réseau de Pétri - Département d'informatique et de ...

|Université de Montréal |IFT2251 - Hiver 2002 |
|Département d'informatique et |01 Mars 2002 |
|de recherche opérationnelle | |
IFT2251 Introduction au génie logiciel
Travail pratique 2
Démonstrateurs: Idrissa Konkobo et Amine Rouane
Professeur: Petko Valtchev
1. Description générale du travail
Mise en ?uvre des techniques de modélisation de la dynamique et du
comportement (Diagrammes d'états et réseaux de pétri).
2. Conditions de réalisation
Groupes de deux au maximum.
Travail à remettre au plus tard le Vendredi 15 mars à l'examen.
3. Préparation
Notes de cours et notes de démonstrations (démo 4 ).
4. Barème
A venir. Exercice I On considère une montre digitale simplifiée:
Bouton Mode Bouton
Avance
1. Le mode courant est le mode Affichage.
2. Quand on appuie une fois sur le bouton Mode, la montre passe en mode
modification de l'heure. Chaque pression sur le bouton Avance incrémente
l'heure d'une unité;
3. Quand on appuie une nouvelle fois sur le bouton Mode, la montre passe en
mode modification des minutes. Chaque pression sur le bouton Avance
incrémente les minutes d'une unité.
4. Quand on appuie une nouvelle fois sur le bouton Mode, la montre repasse
en mode Affichage.
QUESTIONS:
1. Proposer un diagramme d'états correspondant aux spécifications ci-
dessus, en prenant le soin de marquer les actions accompagnant
certaines des transitions.
2. On enrichit maintenant les spécifications initiales de la
manière suivante:
On ajoute à la montre digitale 2 nouveaux boutons:
. un bouton d'éclairage: en le pressant, on éclaire le cadran de la
montre jusqu'à ce qu'on relâche ce bouton; on signale qu'on peut
également éclairer le cadran en mode modification.
. un bouton d'alarme, qui confère à la montre une fonctionnalité
classique d'alarme: quand l'heure courante devient égale à l'heure
d'alarme (heure H), la montre se met à sonner; la sonnerie s'arrête
d'elle-même au bout d'un certain temps (H+1 minute), ou lorsqu'on
l'interrompt en appuyant sur le bouton d'alarme. Pour simplifier on
supposera l'absence de parallélisme, donc que lorsque la montre
sonne elle n'affiche pas l'heure.
Donner le nouveau diagramme d'états correspondant, incluant tous
les comportements de la montre.
Exercice 2 : Réseau de Pétri Vous programmez un distributeur de boissons chaudes. Dans son état
initial, il attend qu'on appuie sur le bouton « thé » ou « café »; il
permet de changer d'avis si on s'est trompé de boisson sinon il faut
« confirmer » ou « annuler » le choix. Si on confirme et que le montant
payé pour la boisson choisie est suffisant, le distributeur peut alors
verser la boisson.
Quand la boisson est servie il faut enlever le gobelet et le distributeur
passe dans son état final qui est en même temps l'état de départ. Si le
choix avait été annulé, le distributeur arriverait dans son état de départ.
Proposer un réseau de Pétri qui modélise le comportement d'un tel
distributeur.
On suppose le processus de vérification du montant payé pour le café
ou le thé comme relevant d'un autre système. Exercice 3 : Diagramme d'états hiérarchique complexe Soit le fragment de diagramme d'états suivant, contenant un certain nombre
d'actions.
En désigne un événement, et actn (ou L_xxx) une action accompagnant une
transition.
[pic] On suppose que l'on part de l'état à gauche du diagramme symbolisé par
....(Gauche dans le tableau); à partir de la ligne 2 du tableau, l'état de
départ est l'état d'arrivée de la ligne précédente. Question: Compléter le tableau ci-dessus.
|État de départ |Événement |Actions |État arrivée |
|Gauche |E1 |? |E5 |
|? |E5 |? |? |
|? |E4 |? |? |
|? |E 6 |? |? |
|? |E 3 |? |? |
|? |E 5 |? |? |
|? |E 3 |? |? |
|? |E 2 |? |.......... |
Solution du tableau :
|État de départ |Événement |Actions |État arrivée |
|Gauche |E1 |Act1, B_ent |B |
|B |E5 |B_sor/C_ent |C |
|C |E4 |A_interne |C |
|C |E 6 |C_sor/B_ent |B |
|B |E 3 |act3/B_ent |B |
|B |E 5 |B_sor/C_ent |C |
|C |E 3 |Act3/C_ent |C |
|C |E 2 |C_sor/act2 |Gauche |
-----------------------
10 : 30 : 01