Travaux Dirigés n°1 Ingénierie des protocoles - Réseaux de Petri ...

M1 Info ­ Ing. Protocoles 2008­09(D'apres TD ENSEEIHT)P_Idle_prodactivation_prodP_Init_prodP_messages_à_émettre(initialement,N jetons)fin_init_prodP_prêt_à_émettreémission_prodP_médium_libre(initialement,K jetons)P_médium_occupé_messageP_messages_émisNP_médium_occupé_déconnexiondéconnexion_prodP_Off_prodModèle du consommateur :En revanche, le modèle du consommateur est légèrement différent. Parmi les messages en transitdans le médium peut figurer un message de déconnexion. Aucune hypothèse n’étant fait sur lemédium, il se peut que ce message transite sur le médium en même temps que des messages dedonnées (bien qu’il ait été émis après) puis double ces deniers. Le consommateur devra doncs’assurer, avant de consommer le message de déconnexion, qu’il a consommer tous les messagesde données, c’est-à-dire qu’il a vidé le médium de ces deniers. Pour ce faire, ne pouvant testerque la place P_médium_occupé_message est vide, on testera que la place P_médium_librecontient K-1 cases libres (une place étant occupée par le message de déconnexion).Page 9 sur 12 2008­2009