algebre-rel - lirmm
Université Montpellier 2. ULIN401. Travaux dirigés de bases de données et
conception de systèmes d'information. TD 9 réseaux de Petri (fonctionnement).
part of the document
pour le marquage suivant :
-2 jetons en p1 ;
-3 jetons en p2 ;
- 1 jeton en p3.
Enoncé 2 : gestion de stock
La gestion de stock dun magasin de pièces impose lenchaînement des processus (modélisés sous forme de transitions) qui sont déclenchés par des événements internes ou externes.
Parmi les événements externes notables on trouve :
Le début de journée,
Larrivée dune commande
La livraison dun produit
Il y a ou il ny a pas rupture de stock pour le produit commandé.
Parmi les événements internes notables on trouve :
La mise à jour du stock
La mise à jour dun compte client
Le contrôle dune commande
La mise en attente dune commande
La consultation du stock
La facturation dune commande
La validation dune commande en attente
La facture
Ces événements sont bien entendus consommateurs de temps (et donc de transitions) et peuvent générer des événements internes dépendants, selon le choix du modélisateur.
Les règles de gestion fournies sont :
En début de journée, le magasinier réalise la mise à jour des comptes des clients en cours,
puis traite des commandes qui arrivent ainsi que les commandes en attente, mais avec une priorité pour les commandes en attente. De façon parallèle peut sexécuter (à tout moment) la mise à jour du stock en fonction des produits qui sont livrés.
.La gestion de stock est modélisée sous forme dun graphe de Petri complet. Le modélisateur a pris le parti de considérer comme « place » tout changement détat, même celui qui concerne le temps écoulé. Ainsi pour un même événement, par exemple « mise à jour du stock » se décompose en :
« début de mise à jour du stock »
« temps de mise à jour écoulé ».
Il a dégagé de plus cinq grandes phases dans sa modélisation :
la gestion quotidienne des comptes clients
la mise à jour du stock a livraison de produit
la gestion des commandes en attente
la gestion des commandes qui arrivent
la facturation
Glossaire :
Nom-de la place SignificationP1livraison dun produitP2 : Début de la mise à jour du stock réalisée P3La durée du traitement de la mise à jour du stock est écouléeP4Heure = 9 heuresP5Mise à jour client en coursP6Temps de traitement de la mise à jour client écouléP7Arrivée dune commandeP8Fin de traitement de la mise à jour client ou fin de la transition t5P9Commande en cours de contrôleP10Temps de contrôle de la commande écouléP11Commande contrôléeP12Il ny a pas de comande en attente ou il nexiste pas dordre de validation dune commande en attenteP13Ordre de validation dune commande en attenteP14Commande en cours de validation du stockP15Temps de consultation du stock écouléP16Il ny a pas de rupture du stock pour la commande traitéeP17Commande après consultation du stockP18Il y a rupture de stock pour la commande traitéeP19Commande à facturerP20Commande en attenteP21Commande en cours de facturationP22Durée de la facturation écouléeP23facture
Nom de la transitionsignificationT1Début dexécution de la mise à jour de stockT2fin dexécution de la mise à jour de stockT3Début dexécution de la mise à jour clientT4Fin dexécution de la mise à jour de stockT5Début dexécution du contrôle de la commandeT6Fin dexécution du contrôle de la commandeT7Début dexécution de la validation du stock pour une commande du jourT8Fin dexécution de la validation du stock pour une commande du jourT9Fin dexécution de la consultation du stockT10Création dune commande à facturerT11Création dune commande en attenteT12Début dexécution de la facturationT13Fin dexécution de la facturation
Le graphe est fourni dans la page suivante.
Questions :
Représentez lévolution du nombre de jetons dans les places en fonction des événements et des conditions temporelles listés ci-après, ainsi que des déclenchements successifs de transition.
Le marquage initial, à 8 heures du matin, est le suivant :
Il existe un jeton dans la place 7 et 3 jetons dans la place 20.
Liste des événements et des conditions temporelles :
8h10 : une livraison est effectuée
8h20 : une commande arrive
8h30 : le temps de la mise à jour du stock est écoulé
9h : le temps de la consultation du stock est écoulé et il ny a pas de rupture de stock
9h10 : le temps de la mise à jour client est écoulé, le temps de la consultation du stock est écoulé, la durée du traitement de la facturation est écoulée et il existe une rupture de stock.
9h20 : le temps du contrôle de la commande est écoulé.
T3 T1
T4
T2
T5
n
T6
T8
T7
T9
T10 T11
T12
T13
PAGE
PAGE 1
P23
P21
P22
P19
P18
P20
P17
P16
P15
P14
P9
P10
P11
P7
P8
P12
P13
P6
P5
P3
P2
P1
P4
