ENSA de Tanger

GIL2 : 2019-2020 Modélisation et Simulation des Systèmes Industriels

Département : Électrique & Industriel

Durée : 1h00 CC2 Notes de contrôles autorisées

Exercice 1 : Propriétés

Soit le RdP suivant :

1. Tracer le graphe des marquages

2. Remplir le tableau suivant en justifiant chaque réponse

Bornage Quasi Pseudo vivacité Conflit Conflit Persistant Réinitialisable Pur Sauf conforme
Vivacité vivacité structurel effectif

3. Déterminer la matrice d’incidence avant et arrière

4. En déduire la matrice d’incidence
5. En utilisant l’équation fondamentale, trouver le marquage atteignable par le
franchissement de la séquence T1T2T3T1T4T2T3 à partir du marquage initial
(développer votre calcul).
6. En utilisant l’équation fondamentale, montrer que la séquence T1T3T3T1T4T2 n’est
pas franchissable à partir du marquage initial.

O. KAMACH 1