Scribd
Importer
251 vues6 pages

Excercices - RDP

Ce document contient 5 exercices portant sur la modélisation et l'analyse de réseaux de Petri. Les exercices portent sur la détermination si des réseaux sont bornés, vivants ou sans blocage, la construction de matrices d'incidence et de marquages accessibles, et l'identification de composantes conservatives et répétitives.

Transféré par

Meryem Bk
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
251 vues6 pages

Excercices - RDP

Ce document contient 5 exercices portant sur la modélisation et l'analyse de réseaux de Petri. Les exercices portent sur la détermination si des réseaux sont bornés, vivants ou sans blocage, la construction de matrices d'incidence et de marquages accessibles, et l'identification de composantes conservatives et répétitives.

Transféré par

Meryem Bk
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Ministère de l’Enseignement Supérieur et La Recherche Scientifique

Faculté Des Sciences Exactes Et Informatique

Département d’Informatique

Module :

Modélisation et Évolution des Performances

Série d’exercices
Exercice 01:

Pour chacun des Rdp de la figure suivante, dont certains sont des Rdp généralisés, répondre aux
questions: est-il borné? Vivant? Sans blocage? Justifier votre réponse.

a. b. c.
Exercice 02:

Deux calculateurs utilisent une mémoire commune. On suppose que chaque calculateur peut avoir
3 états:

● Il n’a pas besoin de la mémoire.


● Il la besoin mais ne l’utilise pas encore.
● Il l’utilise.

Mémoire
Calculateur 1 Calculateur 2
Commune

Modéliser le fonctionnement de ce système par un Rdp.


Exercice 03:

On donne la matrice d’incidence C d’un réseau de pétri.


-1 0 0 0 1
1 -1 -1 0 0
C=
0 0 1 -1 0
0 1 0 1 -1

Déduire le graphe du réseau de pétri. Puis donner le marquage initial nécessaire au fonctionnement.
Ce réseau est il borné?
Exercice 04:

On considère le Rdp, donné par les matrices d’incidence Pré et Post, suivant:
Pré 1 2 3 4 5 6 Post 1 2 3 4 5 6

P1 1 1 1 0 0 0 P1 0 0 0 0 0 1

P2 0 0 0 1 0 0 P2 1 1 0 0 0 0

P3 0 0 0 0 2 0 P3 0 1 1 1 0 0

P4 0 0 0 0 0 1 P4 0 0 0 0 1 0

Construire la représentation graphique de ce réseau.


Le marquage initial est M0 = [1,0,0,0]. Construire l’ensemble des marquages accessibles.
Le réseau marqué est-il borné? sans blocage? quelles sont les transitions quasi vivantes?
Donner l’ensemble des séquences répétitives.
Exercice 05:

Donnez la matrice d’incidence du Rdp de la figure 1.


Calculez les composants conservatives et les composants répétitives stationnaires.
Est-ce que ce Rdp est quasi-vivant pour le marquage initial sur la figure. Justifiez.
Est-ce que ce Rdp est vivant pour le marquage initial sur la figure. Justifiez.
Est-ce que ce Rdp est réinitiable pour le marquage initial sur la figure. Justifiez.

Figure 01.

Vous aimerez peut-être aussi