Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Examen principal juin 2012

République Tunisienne Ministère de l ? Enseignement Supérieur Université de Carthage Ecole Supérieure de Technologie et d ? informatique EXAMEN Session principale Systèmes à événements discrets Enseignants Filière Classe Section Groupe Nbre de pages M Karoui M Maherzi ème Année Ing Mécatroniques A B Date Durée Documents Calculatrice h Non autorisés Autorisé e NB Il est vivement recommandé de soigner la rédaction et La présentation de la copie Exercice Pts Réduire le RdP suivant en expliquant les méthodes de réductions employées pour les marquages initiaux suivants a M A b M B Pour le marquage initial M A a Donnez le graphe de marquage ou le graphe de couverture du RdP réduit b Véri ?ez les propriétés suivantes i Vivacité et quasi-vivacité ii blocage iii bornage iv réinitialisable P T P T P T P P T P T CExercice Pts On donne les matrices Pré et Post suivantes Pr Po é st Construire le réseaux de Petri associé Exercice Pts Deux calculateurs utilisent une mémoire commune On suppose que chaque calculateur peut avoir trois états soit il n'a pas besoin de la mémoire soit il la demande mais ne l'utilise pas encore soit il l'utilise Le RdP correspondant est le suivant donnez la matrice d ? incidence du RdP Quels sont les invariants de marquage minimaux de ce RdP Le réseau complet est-il conservatif Donnez les invariants de transitions minimaux du RdP En déduire si le RdP est vivant Est-ce qu ? il y a des composantes conservatives dans ce RdP en déduire si le RdP est borné Bonne chance C