ENSEM 2021/2022 1 GIL

ère

Modélisation des Systèmes à Événements Discrets - Réseaux de Pétri

Travaux dirigés

Pr. M. EL HAFTA

Exercice I :
On considère les RdP suivants :

(A) (B) (C)

Trouver les propriétés de chacun.

Exercice II :
Considérons le réseau RdP suivant :

1- Donner les graphes de marquage et en déduire les propriétés

2- Donner les matrices Pré et Post associées
3- En déduire la matrice d’incidence ainsi que l’équation fondamentale
4- Vérifier la validité de cette équation en la testant sur une séquence de 3
franchissements successifs au minimum grâce au graphe de marquage trouvé en 1-.
5- Trouver les invariants de marquage associés à ce réseau.
6- Que pouvez-vous conclure pour les propriétés de ce réseau
1
Exercice III :
Considérons le réseau RdP suivant :

1- Donner le graphe de marquage relatif à ce réseau

2- En déduire les propriétés de ce réseau
3- Donner la matrice d'incidence associée
4- En déduire l'équation fondamentale et vérifier sa validité à l'aide d'une séquence de
franchissement de votre choix.
5- Donner les invariants de marquages, que pouvez conclure pour la bornitude du réseau

Exercice IV :
Soient deux calculateurs utilisant une mémoire commune. On suppose que chaque calculateur
peut avoir trois états :
- il n’a pas besoin de la mémoire
- il la demande mais ne l’utilise pas encore
- il l’utilise

Trouver le modèle RdP équivalent

Exercice V :
Un service de délivrance de VISAS fait entrer les demandeurs par groupes (RDV groupés) et
ferme la porte d’entrée avant de commencer le service. Au fur et à mesure qu’ils sont servis,
les demandeurs sortent par une autre porte. La porte d’entrée ne sera ouverte à nouveau que
lorsque tous les demandeurs qui étaient entrés seront sortis.

1- Donner le RdP de fonctionnement de ce service en supposant qu’on fait entrer un seul

demandeur à la fois,
2- Donner le RdP de fonctionnement lorsqu’on fait entrer les demandeurs par groupes de
4 personnes.
3- Proposez un modèle simplifié en utilisant des arcs inhibiteurs.

2
Exercice VI :
Dans un supermarché, les clients peuvent récupérer soit un panier ou un chariot disponibles à
l’entrée du magasin, selon le volume d’achats envisagé.
Pendant ses courses, chaque client fera :
- un passage dans les rayons libre-service,
- un passage dans les rayons à la coupe,
- passage en caisses
Ces deux derniers passages nécessitent la présence d’une ressource humaine)

1- Donner le modèle RdP ordinaire correspondant

2- Donner le modèle RdP coloré équivalent

Exercice VII :
Considérons un atelier composé d’une machine unique M permettant la production de
deux types de pièces P1 et P2. Les contraintes de fabrication du type 1 à la fois pour P1
et pour P2 et les stocks amonts et avals sur les deux lignes seront considérés comme
indépendants et de capacités infinies.

1- Donner le modèle RdP ordinaire correspondant

2- Donner le modèle RdP coloré équivalent

Exercice VIII :
Le RdP ci-dessous représente le partage de N machines sur trois flux de production produisant
les pièces P1, P2 et P3.

1- Lire ou calculer les T et P semi-flots, et interpréter physiquement les résultats.

2- Compléter ce réseau pour permettre d'assurer l'ordonnancement suivant : 30P puis 2

20P puis 55P puis 30P …

3 1 2

3- E3/ A partir de ce nouveau réseau, lire ou calculer les T et P semi-flots, et interpréter

physiquement les résultats.

Exercice IX :
Soit le RdP défini par sa matrice d'incidence I et son vecteur de marquage initial 𝑀 ci-après :
0

1- Démontrer les propriétés liées au marquage initial 𝑀0 donné en terme de vivacité, de

bornage et de réinitialisation.
2- En temporisant chacune de place Pi par une temporisation notée zi, tel que z1=3,
z2=2, z3=5, z4=1 et en supposant comme marquage initial 𝑀1=[00𝑁𝑅]𝑇 tel que N =
200 et R = 84, calculer les fréquences maximales que peuvent atteindre chacun des
flux de production.
3- Vous ne pouvez modifier que l'une des deux valeurs N ou R. Que proposez-vous pour
augmenter la productivité ?

3
Exercice X :
Donner les graphes de marquage des réseaux de PETRI colorés suivants et en déduire
quelques propriétés :

P1 P1
<r><b> <r><b>

Id f Id
Id

T1 {<r>¸<b>} T1 {<r>¸<b>}

Id f
T2 {<r>¸<b>} T2 {<r>¸<b>}

P2 2<b> P2 2<b>

Id Id

(A) (B)

P1 P1
<r><b> <r><b>

f f g f
T1 {<r>¸<b>} T1 {<r>¸<b>}
g g
T2 {<r>¸<b>} T2 {<r>¸<b>}

P2 2<b> P2 2<b>

g f

(C) (D)

f(<r>)=<r>+<b> ; f(<b>)=2<b>

g(<b>)=<r> ; g(<r>)=2<b>