Tome1Ch6a (1) Petris

M.E.D.A.L.
IUP-MIAGE 1ère année
Les réseaux de PETRI (1)

Module d’Enseignement à Distance
pour l’Architecture Logicielle
Diapositive n° 1 IUP MIAGE - Université de NANTES Alain VAILLY

M.E.D.A.L.
Cours magistral
Evaluation
Références
Contexte MEDAL Exercices
Corrigés
des
Etudes de cas exercices
Auto-évaluation

M.E.D.A.L.
informations
fonctions
comportements PLAN
1) Introduction
2) Notions de base
Cours magistral
3) Utilisation des Réseaux de PETRI
4) Extensions intéressantes
- le modèle E-A-P 5) Conclusion
- le modèle relationnel
- les réseaux de PETRI
- les modèles de traitement de Merise

M.E.D.A.L.
PLAN
1) Introduction
2) Notions de base
Cours magistral
5) Conclusion

M.E.D.A.L.
Cours magistral
PLAN
1) Introduction
2) Notions de base
5) Conclusion

M.E.D.A.L.
Cours magistral
1) Introduction
2) Notions de base
5) Conclusion
PLAN

M.E.D.A.L.
1) Introduction Cours magistral
2) Notions de base
5) Conclusion
PLAN

M.E.D.A.L.
2) Notions de base

5) Conclusion
PLAN

M.E.D.A.L.
2) Notions de base
5) Conclusion
PLAN

M.E.D.A.L.
2) Notions de base
5) Conclusion
PLAN

M.E.D.A.L.
2) Notions de base
PLAN
5) Conclusion

M.E.D.A.L.
2) Notions de base
4.1) Arcs inhibiteurs
4.2) Réseaux colorés 2.1) Arcs, places et transitions
2.2) Jetons, poids et marquages
2.3) Notions complémentaires
2.4) Dynamique des RdP
3.1) Modélisation
3.1.1) Logique sous-jacente
3.1.2) Modélisation PLAN
3.1.3) Erreurs à éviter
3.2) Vérification de propriétés
5) Conclusion
3.2.1) Définitions complémentaires
3.2.2) Vérification de propriétés
3.2.3) A propos de l’équation d’état

M.E.D.A.L.
1) Introduction On va pouvoir faire des

calculs !
• Modèle du comportement,
• Formalisme ancien, très utilisé,
• Formalisme qui repose sur une théorie mathématique,
• Spectre d’utilisation large, des systèmes d’information aux
protocoles de réseaux, en passant par les algorithmes
d’allocation de ressources, ...
• Formalisme étudié dans le seul contexte des systèmes
d’information, pour décrire la dynamique du système.

M.E.D.A.L.
1) Introduction
Il y a deux façons d’aborder la présentation des réseaux de

PETRI, par la formalisation et par le pragmatisme. La
première approche amène à parler de graphe, de matrice, … La
seconde nous conduira à utiliser une représentation graphique.
Selon nous, il faut les deux, surtout dans la mesure où le

principal intérêt de ces réseaux de PETRI réside dans la
possibilité de faire faire « à la machine » des calculs … pour
vérifier des propriétés, pour faire évoluer le réseau …

M.E.D.A.L.
Réseau de PETRI
2) Notions de base
RdP
Un réseau de PETRI, informellement, c’est :
des places
- un ensemble de quatre notions,
des transitions
- un marquage,
des arcs
- un ensemble de règles déterminant l’évolution de ce
marquage, des jetons
- un moniteur pour mettre en application ces règles.
des jetons dans des places

M.E.D.A.L.
2) Notions de base
2.1) Arcs, places et transitions
Un réseau de PETRI correspond à un graphe bi-parties, les arcs

reliant une place à une transition ou une transition à une place, mais
jamais une place à une place ou une transition à une transition :
place
arc
P1 Px Ta
Ta
Py Tb
transition
P = {P1, P2, …, Pn} Ensemble fini de places
T = {Ta, Tb, …, Tx} Ensemble fini de transitions
A©PxTªTxP Ensemble fini d’arcs

M.E.D.A.L.
2) Notions de base
Chaque place peut contenir des objets appelés jetons.

jetons A priori, la
capacité d’une place est infinie.
P1 P2
Le marquage, à un instant t,
du réseau correspond au
P1 P2 nombre de jetons dans
contient 2 contient 1 chaque place.
jetons. jeton.
M1 = [0, 1, …, 3, 0, …, 1]
M2 = [1, 1, …, 0, 0]
M:P N

M.E.D.A.L.
2) Notions de base
Ces jetons « voyagent » dans le réseau, de place en place, en

utilisant les arcs. Ce voyage se fait en solitaire ou en groupe, ceci
étant indiqué par la fonction poids ainsi définie :
W:A N+
Par défaut, le poids d’un arc est de 1. Ces poids sont mentionnés
sur le réseau, à côté des arcs, la valeur par défaut étant omise.
P1
a1 : P1 Ta W (a1) = 2
2
a2 : Ta P2 W (a2) = 3
Ta
a3 : Ta P3 W (a3) = 1
3
P2 P3 a4 : P3 Ta W (a4 ) = 1

M.E.D.A.L.
C’est le moniteur qui dit

quand et qui va choisir
2) Notions de base l’ordre de « départ »
(s’il y en a un).
A un certain moment :
- 2 jetons « quittent » P1 pour Ta,

- 3 jetons « quittent » Ta pour P2,
- 1 jeton « quitte » Ta pour P3, P1
2
- 1 jeton « quitte » P3 pour Ta. Ta
3
P2 P3
Il existe des règles qui fixent

les modalités et les contraintes.

M.E.D.A.L.
2) Notions de base
P1
P2
T1
- 5 places, {P1, P2, P3, P4, P5}
P3
- 2 transitions, {T1, T2}
P4
- 8 arcs.
T2
2
L’arc reliant P2 à T1 a un poids de P5
2, comme celui reliant T2 à P5 ;

les autres ont un poids de 1.

M.E.D.A.L.
2) Notions de base
P1
P2
P1
P2 2
T1
2
T1 P3
M1 = [1, 1, 0, 0, 0]
P4
P3
P4
T2
2
T2 P5
2
P5
M2 = [0, 1, 3, 0, 1]

M.E.D.A.L.
2) Notions de base
Un réseau dans lequel le poids affecté à chaque arc est égal à 1 est
un réseau élémentaire.
élémentaire
P1 P1
2
Ta Ta
3
P2 P3 P2 P3
W:A N+ W:A {1}
réseau non élémentaire réseau élémentaire

M.E.D.A.L.
2) Notions de base
P1
P2
Une place est en entrée d’une
transition s’il y a un arc reliant la 2
place à la transition. Une place est T1
en sortie d’une transition s’il y a un

P3
arc reliant la transition à la place. P4
P2 est en entrée de T1.

P4 est en entrée de T2. T2
2
P5 est en sortie de T2. P5
P3 est en entrée de T2 et en sortie de T1.

P1 est en entrée de T1 et T2 et en sortie de T1.

M.E.D.A.L.
2) Notions de base
P1
P2
On appelle entrée d’une transition
l’ensemble des places situées en 2
entrée de la transition. On appelle T1
sortie d’une transition l’ensemble

P3
des places situées en sortie de la P4
transition.
T2
2
E (T1) = {P1, P2} S (T1) = {P1, P3}
P5
E (T2) = {P1, P3, P4} S (T2 ) = {P5}

M.E.D.A.L.
T0
2) Notions de base
P1
P2
Une transition-puit est une
transition ayant une sortie vide. 2
Une transition-source est une T1
transition ayant une entrée vide.

P3
P4
T0 est une transition-source.

T2
2
P5
T3 est une transition-puit.

T3

M.E.D.A.L.
y-en-a d’autres … CE n° 1 : {T4, P5, T3, P6, T4}
CE n° 2 : {T1, P2, T7, P3, T6, P4, T1}
2) Notions de base CE n° 3 : {T1, P2, T2, P5, T3, P6, T4, P7, T6, P4, T1}
2.3) Notions complémentaires CE n° 4 :{T1, P2, T2, P5, T3, P6, T5, P7, T6, P4, T1}
Un circuit élémentaire est un chemin orienté qui part d’un sommet

du graphe (qu’il s’agisse d’une place ou d’une transition) et qui y
revient, sans jamais passer plus d’une fois par le même sommet.
T2
P2
P1 P5
T1 T3
T7
T4
P3 P6
P4
T6
P7
T5

M.E.D.A.L.
2) Notions de base
P1
P2
Une boucle est un circuit
élémentaire constitué d’une seule 2
place et d’une seule transition. T1
P3
P4
Le RdP ci-contre contient une boucle.

T2
2
P5
Un réseau sans boucle est dit pur.

pur

M.E.D.A.L.
2) Notions de base réseau + marquage

2.4) Dynamique des RdP initial
P1
P2
moniteur d’exécution
2
politique T1
- de choix P3
P4
règles T2
La dynamique des RdP - de déclenchement
2
P5
est prise en charge par
divers éléments : - de production
- de consommation

M.E.D.A.L.
tirable
2) Notions de base
2.4) Dynamique des RdP franchissable
Une transition est déclenchable si chacune des places en entrée de

la transition contient au moins autant de jetons que le poids
affecté à l’arc reliant la place à la transition.
P1 P1
P2 P2
2 2
T1 T1
P3 P3
déclenchable non déclenchable

M.E.D.A.L.
2) Notions de base
Le déclenchement d’une transition va avoir un effet sur le nombre

de jetons contenus dans les places en entrée et en sortie de la
transition. Il y a :
1) consommation de jetons en entrée ;
2) production de jetons en sortie.
Combien ?
Dans les réseaux « standards », il
ne s’écoule aucun temps entre
consommation et production. Il y a Ce sont les poids qui le
des réseaux temporisés. disent !

M.E.D.A.L.
2) Notions de base Règle de consommation

Le déclenchement d’une transition consomme autant de jetons

dans les places en entrée de la transition qu’il est indiqué par les
poids affectés aux arcs reliant ces places à la transition.
P1 P1
P2 P2
2 2
Déclenchement de T1
T1 T1
P3 P3

M.E.D.A.L.
2) Notions de base Règle de production

Le déclenchement d’une transition produit autant de jetons dans

les places en sortie de la transition qu’il est indiqué par les poids
affectés aux arcs reliant la transition aux places.
P1 P1
P2 P2
2 2
Déclenchement de T1
T1 T1
P3 P3

M.E.D.A.L.
2) Notions de base
Marquage avant déclenchement

P1
P2 M0 = [1, 2, 0]
T1
P3

M.E.D.A.L.
2) Notions de base
Marquage avant déclenchement

P1
P2 M0 = [1, 2, 0]
Marquage après déclenchement
2
T1
M1 = [1, 0, 1]
P3
En t0, il y avait 3 jetons dans le
réseau ; en t0 + ∆t, il y en a 2.
Il n’y a pas de principe de conservation des jetons. Le nombre de

jetons produits n’est pas lié au nombre de jetons consommés.

M.E.D.A.L.
2) Notions de base (0,0,0,0,0,0)

(1,0,0,0,0,0)
(1,1,0,0,0,0)
P1
P2
T1
2
P4
P3
T2
2 P5
T3 L’évolution du réseau va se
P6
traduire par l’évolution des
jetons dans le réseau.

M.E.D.A.L.

(1,0,0,0,0,0)
(1,1,0,0,0,0)
T1
P1
P2 (0,0,2,0,0,0)
(0,0,2,1,0,0)
T1
2
P4
P3
T2
2 P5
P6

M.E.D.A.L.

(1,0,0,0,0,0)
(1,1,0,0,0,0)
T1
P1
P2 (0,0,2,0,0,0)
(0,0,2,1,0,0)
T2
T1 (0,0,1,0,1,2)
2
P4 et ainsi de suite
P3
T2
2 P5
P6

M.E.D.A.L.
2) Notions de base
L’application des règles précédentes à un RdP permet de faire

évoluer le marquage initial et d’obtenir un marquage M1. La ré-
application de ces règles « sur » M1 fournit un autre marquage,
M2.
Le système modélisé « vit » ainsi par à-coups, selon un algorithme
assez simple :
Tant qu’il y a des transitions déclenchables faire

choisir une transition déclenchable
déclencher la transition
fintantque

M.E.D.A.L.
2) Notions de base
Le moniteur d’exécution travaille donc en pas-à-pas, une transition

après l’autre. Ce travail séquentiel n’empêche bien entendu pas des
choix. A certains moments, en effet, plusieurs transitions sont
déclenchables.
Le moniteur sélectionne la transition à

déclencher, selon une politique.
- première trouvée,
Il est possible de « programmer »
- plus proche du but, le moniteur pour qu’il travaille en
- plus forte priorité, parallèle, en déclenchant toutes les
- ... transitions déclenchables.

M.E.D.A.L.
2) Notions de base
P1
P2
T1 et T2 sont déclenchables.
2
Hypo H1 : le moniteur choisit T1
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
T2
2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
T1 et T2 sont déclenchables.
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T2
2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
T1 et T2 sont encore déclenchables.
2
On peut continuer sur cette « branche ».
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
Revenons un pas en arrière.
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
Revenons un pas en arrière.
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
Revenons deux pas en arrière.
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
Seule, T1 est déclenchable.
2
Continuons sur cette dernière branche.
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
[1, 3, 1, 3, 2]
P5
C’est le même vecteur !

M.E.D.A.L.
2) Notions de base
P1
P2
2
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

M.E.D.A.L.
2) Notions de base
P1
On a finalement un graphe. Il P2
correspond à tous les marquages

2
obtenus à partir du marquage initial.
T1
[2, 5, 1, 4, 0]
T2 P3
T1
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5
C’est le graphe des marquages accessibles.

accessibles

M.E.D.A.L.
01001
T2
T1
2) Notions de base 00101
T3
T4
01011 11000
Le graphe des marquages accessibles
permet de visualiser rapidement toutes T2
T1
T2
les alternatives, repérer les boucles, les 00111 10100

situations de blocage, les points de T3
T4
T3
passage obligés, ...
01021 11010
T4
abcde T4 (a+1)bc(d-1)(e-1) T2 T2
T1
T2 T2 00121 10110
T1
T4
a(b-1)(c+1)de (a+1)(b-1)(c+1)(d-1)(e-1) T3 T3
T4
T3 T3 01031 11020
T4
abc(d+1)e (a+1)bcd(e-1) T2 T2
T4 ------- etc -------

M.E.D.A.L.
A suivre :
- utilisation des réseaux,
- logique sous-jacente,
- vérification de propriétés,
- équation d’état,
- arcs inhibiteurs,
- réseaux colorés,
- ...
entracte

M.E.D.A.L.
Bibliographie (sommaire)
la référence !!
• P. ANDRE, A. VAILLY, « Conception des systèmes d’information ;

Panorama des méthodes et des techniques », Editions Ellipses, janvier 2001,
ISBN 2-7298-0479-X
• G. W. BRAMS, « Réseaux de PETRI : théorie et pratique »,

Editions MASSON, 1983
Pour compléter la
formation ...

Tome1Ch6a (1) Petris

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Tome1Ch6a (1) Petris

Transféré par

Droits d'auteur :

Formats disponibles

M.E.D.A.L.

IUP-MIAGE 1ère année

Les réseaux de PETRI (1)

Diapositive n° 1 IUP MIAGE - Université de NANTES Alain VAILLY

Contexte MEDAL Exercices

Diapositive n° 2 IUP MIAGE - Université de NANTES Alain VAILLY

Diapositive n° 3 IUP MIAGE - Université de NANTES Alain VAILLY

Diapositive n° 4 IUP MIAGE - Université de NANTES Alain VAILLY

Diapositive n° 5 IUP MIAGE - Université de NANTES Alain VAILLY

Diapositive n° 6 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

Diapositive n° 7 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

3) Utilisation des Réseaux de PETRI

Diapositive n° 8 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

3) Utilisation des Réseaux de PETRI

Diapositive n° 9 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

3) Utilisation des Réseaux de PETRI

Diapositive n° 10 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

3) Utilisation des Réseaux de PETRI

Diapositive n° 11 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction Cours magistral

Diapositive n° 12 IUP MIAGE - Université de NANTES Alain VAILLY

1) Introduction On va pouvoir faire des

Diapositive n° 13 IUP MIAGE - Université de NANTES Alain VAILLY

Il y a deux façons d’aborder la présentation des réseaux de

Selon nous, il faut les deux, surtout dans la mesure où le

Diapositive n° 14 IUP MIAGE - Université de NANTES Alain VAILLY

des jetons dans des places

Diapositive n° 15 IUP MIAGE - Université de NANTES Alain VAILLY

Un réseau de PETRI correspond à un graphe bi-parties, les arcs

Diapositive n° 16 IUP MIAGE - Université de NANTES Alain VAILLY

Chaque place peut contenir des objets appelés jetons.

Diapositive n° 17 IUP MIAGE - Université de NANTES Alain VAILLY

Ces jetons « voyagent » dans le réseau, de place en place, en

Diapositive n° 18 IUP MIAGE - Université de NANTES Alain VAILLY

C’est le moniteur qui dit

- 2 jetons « quittent » P1 pour Ta,

Il existe des règles qui fixent

Diapositive n° 19 IUP MIAGE - Université de NANTES Alain VAILLY

2, comme celui reliant T2 à P5 ;

Diapositive n° 20 IUP MIAGE - Université de NANTES Alain VAILLY

Diapositive n° 21 IUP MIAGE - Université de NANTES Alain VAILLY

W:A N+ W:A {1}

réseau non élémentaire réseau élémentaire

Diapositive n° 22 IUP MIAGE - Université de NANTES Alain VAILLY

place à la transition. Une place est T1

en sortie d’une transition s’il y a un

P2 est en entrée de T1.

P3 est en entrée de T2 et en sortie de T1.

Diapositive n° 23 IUP MIAGE - Université de NANTES Alain VAILLY

entrée de la transition. On appelle T1

sortie d’une transition l’ensemble

Diapositive n° 24 IUP MIAGE - Université de NANTES Alain VAILLY

Une transition-source est une T1

transition ayant une entrée vide.

T0 est une transition-source.

T3 est une transition-puit.

Diapositive n° 25 IUP MIAGE - Université de NANTES Alain VAILLY

CE n° 2 : {T1, P2, T7, P3, T6, P4, T1}