Sunteți pe pagina 1din 65

Réseaux de

Petri

V. Augusto

Introduction

Définition
Présentation
informelle
Réseaux de Petri
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un Vincent Augusto
réseau

Séquence de
franchisse- École Nationale Supérieure des Mines de Saint-Étienne
ment

Modélisation
2012-2013
Réseaux de
Petri

V. Augusto

Introduction
1 Introduction
Définition
Présentation
informelle 2 Définition
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
3 Fonctionnement d’un réseau
réseau

Séquence de
franchisse- 4 Séquence de franchissement
ment

Modélisation
5 Modélisation
Présentation

Réseaux de
Petri

V. Augusto

Introduction Un réseau de Petri


Définition
Présentation
est un modèle mathématique permettant la représentation
informelle
Définitions
de systèmes distribués discrets (informatique, industriel),
formelles d’un
réseau de Petri introduit par Petri (1962).
Fonction-
nement d’un est également un langage de modélisation, représenté sous
réseau
forme d’un graphe biparti orienté.
Séquence de
franchisse-
ment Étude des systèmes discrets dont les champs d’application sont
Modélisation
les systèmes de production (caractérisés par une variation
imprévisible des besoins).
Présentation

Réseaux de
Petri

V. Augusto

Introduction Un réseau de Petri


Définition
Présentation
est un modèle mathématique permettant la représentation
informelle
Définitions
de systèmes distribués discrets (informatique, industriel),
formelles d’un
réseau de Petri introduit par Petri (1962).
Fonction-
nement d’un est également un langage de modélisation, représenté sous
réseau
forme d’un graphe biparti orienté.
Séquence de
franchisse-
ment Étude des systèmes discrets dont les champs d’application sont
Modélisation
les systèmes de production (caractérisés par une variation
imprévisible des besoins).
Présentation

Réseaux de
Petri

V. Augusto
Systèmes Manufacturiers Flexibles (FMS), caractérisés par :

Introduction
un ensemble de machines flexibles (multi-produits) ;
Définition un système de transfert automatique (multi-ressources) ;
Présentation
informelle
Définitions
un système de prise de décision (ordonnanceur).
formelles d’un
réseau de Petri

Fonction-
nement d’un Système à Événements Discrets (SED), caractérisés par :
réseau

Séquence de des contraintes de précédence (dans les gammes de


franchisse-
ment
fabrication ou dans les algorithmes) ;
Modélisation des effets de concurrence induits par le partage des
ressources ;
une structuration en tâches parallèles, asynchrones,
soumises à des contraintes temporelles strictes ou non.
Présentation

Réseaux de
Petri

V. Augusto
Systèmes Manufacturiers Flexibles (FMS), caractérisés par :

Introduction
un ensemble de machines flexibles (multi-produits) ;
Définition un système de transfert automatique (multi-ressources) ;
Présentation
informelle
Définitions
un système de prise de décision (ordonnanceur).
formelles d’un
réseau de Petri

Fonction-
nement d’un Système à Événements Discrets (SED), caractérisés par :
réseau

Séquence de des contraintes de précédence (dans les gammes de


franchisse-
ment
fabrication ou dans les algorithmes) ;
Modélisation des effets de concurrence induits par le partage des
ressources ;
une structuration en tâches parallèles, asynchrones,
soumises à des contraintes temporelles strictes ou non.
Présentation

Réseaux de
Petri

V. Augusto
Systèmes complexes et couteux à mettre en œuvre :
Introduction valider les spécification ;
Définition
Présentation prévoir les performances ;
informelle
Définitions
formelles d’un optimiser le fonctionnement (théorie des files d’attentes,
réseau de Petri

Fonction-
simulation, etc.).
nement d’un
réseau

Séquence de Deux principaux types de représentation permettent d’aborder


franchisse-
ment les réseaux de Petri :
Modélisation une représentation graphique sous forme de graphe,
permettant de capturer la dynamique du système ;
une représentation algébrique linéaire.
Présentation

Réseaux de
Petri

V. Augusto
Systèmes complexes et couteux à mettre en œuvre :
Introduction valider les spécification ;
Définition
Présentation prévoir les performances ;
informelle
Définitions
formelles d’un optimiser le fonctionnement (théorie des files d’attentes,
réseau de Petri

Fonction-
simulation, etc.).
nement d’un
réseau

Séquence de Deux principaux types de représentation permettent d’aborder


franchisse-
ment les réseaux de Petri :
Modélisation une représentation graphique sous forme de graphe,
permettant de capturer la dynamique du système ;
une représentation algébrique linéaire.
Réseaux de
Petri

V. Augusto

Introduction
1 Introduction
Définition
Présentation
informelle 2 Définition
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
3 Fonctionnement d’un réseau
réseau

Séquence de
franchisse- 4 Séquence de franchissement
ment

Modélisation
5 Modélisation
Présentation informelle

Réseaux de
Petri

V. Augusto

Un réseau de Petri est un graphe biparti dont on


Introduction

Définition
particularise les deux familles de sommets : les places et
Présentation
informelle
les transitions.
Définitions
formelles d’un
réseau de Petri
Comme dans tout graphe biparti, un arc ne relie jamais
Fonction- deux sommets de la même famille.
nement d’un
réseau Les places sont représentées par des cercles, tandis que les
Séquence de transitions sont représentrées par des traits ou des
franchisse-
ment rectangles.
Modélisation
Correct Incorrect
Dynamique du système

Réseaux de
Petri

V. Augusto
Chaque place va contenir un nombre entier de jetons (ou
Introduction marques) pour modéliser la dynamique du système.
Définition
Présentation
informelle
Définitions •• 2 jetons 25 25 jetons
formelles d’un
réseau de Petri

Fonction-
nement d’un
Le marquage du réseau est constitué de toutes les marques
réseau présentées dans le réseau à un instant donné.
Séquence de
franchisse-
ment Un réseau de Petri généralisé est un réseau dans lequel les
Modélisation
valuations des arcs ne sont pas forcément égales à 1. Un réseau
de Petri ordinaire est un réseau dont le graphe sous-jacent est
un 1-graphe.
Dynamique du système

Réseaux de
Petri

V. Augusto
Chaque place va contenir un nombre entier de jetons (ou
Introduction marques) pour modéliser la dynamique du système.
Définition
Présentation
informelle
Définitions •• 2 jetons 25 25 jetons
formelles d’un
réseau de Petri

Fonction-
nement d’un
Le marquage du réseau est constitué de toutes les marques
réseau présentées dans le réseau à un instant donné.
Séquence de
franchisse-
ment Un réseau de Petri généralisé est un réseau dans lequel les
Modélisation
valuations des arcs ne sont pas forcément égales à 1. Un réseau
de Petri ordinaire est un réseau dont le graphe sous-jacent est
un 1-graphe.
Dynamique du système

Réseaux de
Petri

V. Augusto
Chaque place va contenir un nombre entier de jetons (ou
Introduction marques) pour modéliser la dynamique du système.
Définition
Présentation
informelle
Définitions •• 2 jetons 25 25 jetons
formelles d’un
réseau de Petri

Fonction-
nement d’un
Le marquage du réseau est constitué de toutes les marques
réseau présentées dans le réseau à un instant donné.
Séquence de
franchisse-
ment Un réseau de Petri généralisé est un réseau dans lequel les
Modélisation
valuations des arcs ne sont pas forcément égales à 1. Un réseau
de Petri ordinaire est un réseau dont le graphe sous-jacent est
un 1-graphe.
Notation

Réseaux de
Petri

V. Augusto

Introduction

Définition On note souvent :


Présentation
informelle
Définitions T l’ensemble des transitions ;
formelles d’un
réseau de Petri
P l’ensemble des places ;
Fonction-
nement d’un
réseau
v la fonction de valuation des arcs ;
Séquence de M(p) le marquage de la place p (i.e. le nombre de jetons
franchisse-
ment contenus dans p à un instant donné).
Modélisation
Exemple t1

Réseaux de 2
Petri

V. Augusto
•• p2
Introduction

Définition
• p1
Présentation
informelle
Définitions
formelles d’un
réseau de Petri
t2
Fonction-
nement d’un
réseau

Séquence de
franchisse-
ment
3 • p4 p3
Modélisation

2 2

t4 t3
Tir de t2 t1

Réseaux de 2
Petri

V. Augusto
• p2
Introduction

Définition
• p1
Présentation
informelle
Définitions
formelles d’un
réseau de Petri
t2
Fonction-
nement d’un
réseau

Séquence de
franchisse-
ment
3 •• p4 • p3
Modélisation

2 2

t4 t3
Tir de t4 t1

Réseaux de 2
Petri

V. Augusto
4 p2
Introduction

Définition
• p1
Présentation
informelle
Définitions
formelles d’un
réseau de Petri
t2
Fonction-
nement d’un
réseau

Séquence de
franchisse-
ment
3 p4 • p3
Modélisation

2 2

t4 t3
Exemple t1

Réseaux de P = {p1 , p2 , p3 , p4 } 2
Petri

V. Augusto T = {t1 , t2 , t3 , t4 }
•• p2
Introduction v (t1 , p2 ) = 2, v (p2 , t2 ) = 1,
Définition
v (t4 , p2 ) = 3
Présentation M(p1 ) = 1, M(p2 ) = 2, • p1
informelle
Définitions
M(p3 ) = 0, M(p
 4) = 1 ;
formelles d’un
réseau de Petri
1
 2  t2
Fonction- M0 =   0 

nement d’un
réseau 1
Séquence de Γ−1 (t2 ) = {p2 },
franchisse- Γ(t2 ) = {p3 , p4 }
ment

Modélisation 3 • p4 p3

2 2

t4 t3
Transition validée

Réseaux de
Petri

V. Augusto
Chaque place de Γ−1 (t2 ) contient plus de jetons que la
valuation de l’arc la reliant à t2 .
Introduction

Définition
Présentation
M(p2 ) ≥ v (p2 , t2 )
informelle
Définitions
formelles d’un
réseau de Petri
On dit que t2 est franchissable (tirable, validée). Si l’on tire
Fonction- t2 , le marquage des places de Γ−1 (t2 ) et de Γ(t2 ) va être
nement d’un
réseau modifié :
Séquence de M(p2 ) ← M(p2 ) − v (p2 , t2 )
franchisse-
ment
M(p3 ) ← M(p3 ) + v (t2 , p3 )
Modélisation
M(p4 ) ← M(p4 ) + v (t2 , p4 )
On note M0 [t2 > M1 : M0 valide la transition t2 , et le tir de t2
depuis M0 donne le marquage M1 .
Transition validée

Réseaux de
Petri

V. Augusto
Chaque place de Γ−1 (t2 ) contient plus de jetons que la
valuation de l’arc la reliant à t2 .
Introduction

Définition
Présentation
M(p2 ) ≥ v (p2 , t2 )
informelle
Définitions
formelles d’un
réseau de Petri
On dit que t2 est franchissable (tirable, validée). Si l’on tire
Fonction- t2 , le marquage des places de Γ−1 (t2 ) et de Γ(t2 ) va être
nement d’un
réseau modifié :
Séquence de M(p2 ) ← M(p2 ) − v (p2 , t2 )
franchisse-
ment
M(p3 ) ← M(p3 ) + v (t2 , p3 )
Modélisation
M(p4 ) ← M(p4 ) + v (t2 , p4 )
On note M0 [t2 > M1 : M0 valide la transition t2 , et le tir de t2
depuis M0 donne le marquage M1 .
Transition validée

Réseaux de
Petri

V. Augusto
Chaque place de Γ−1 (t2 ) contient plus de jetons que la
valuation de l’arc la reliant à t2 .
Introduction

Définition
Présentation
M(p2 ) ≥ v (p2 , t2 )
informelle
Définitions
formelles d’un
réseau de Petri
On dit que t2 est franchissable (tirable, validée). Si l’on tire
Fonction- t2 , le marquage des places de Γ−1 (t2 ) et de Γ(t2 ) va être
nement d’un
réseau modifié :
Séquence de M(p2 ) ← M(p2 ) − v (p2 , t2 )
franchisse-
ment
M(p3 ) ← M(p3 ) + v (t2 , p3 )
Modélisation
M(p4 ) ← M(p4 ) + v (t2 , p4 )
On note M0 [t2 > M1 : M0 valide la transition t2 , et le tir de t2
depuis M0 donne le marquage M1 .
Réseau de Petri généralisé

Réseaux de
Petri

V. Augusto Def : Réseau de Petri généralisé


Introduction
Un réseau de Petri généralisé est un quadruplet R tel que
Définition
R = (P, T , Pre, Post) avec :
Présentation
informelle P : ensemble des places du réseau ;
Définitions
formelles d’un
réseau de Petri T : ensemble des transitions du réseau ;
Fonction-
nement d’un Pre : application d’incidence avant, de P × T dans N.
réseau
∀p ∈ P, ∀t ∈ T , Pre(p, t) = v (p, t) si (p, t) ∈ G , 0 sinon.
Séquence de
franchisse-
ment
Post : application d’incidence arrière, de P × T dans N.
Modélisation
∀p ∈ P, ∀t ∈ T , Post(p, t) = v (t, p) si (t, p) ∈ G , 0
sinon.
À chaque application d’incidence est associée une matrice
|P| × |T |.
Exemple t1

Réseaux de 2
Petri

V. Augusto
•• p2
Introduction

Définition
• p1
Présentation
informelle
Définitions
formelles d’un
réseau de Petri
t2
Fonction-  
nement d’un 1 0 0 0
réseau  0 1 0 0 
Pre = 
 0

0 2 0 
Séquence de 0 0 0 2
franchisse-
ment
3 • p4 p3 
0 0 1 0

Modélisation  2 0 0 3 
Post = 
 0

1 0 0 
0 1 0 0
2 2

t4 t3
Exemple

Réseaux de
Petri P = {p1 , p2 , p3 , p4 }
V. Augusto p1 T = {t1 , t2 }
Introduction
2 
2 0

Définition
Présentation  0 1 
informelle t1 Pre =  
Définitions
formelles d’un
 0 1 
réseau de Petri

Fonction-
0 0
 
nement d’un
réseau p2 p3 0 0
 1 0 
Séquence de
franchisse-
Post = 
 1 0 

ment

Modélisation 0 2
t2  
−2 0
2  1 −1 
C =  1 −1 

p4
0 2
Matrice d’incidence

Réseaux de
Petri

V. Augusto
Def : Matrice d’incidence
La matrice d’incidence du réseau est C = Post − Pre.
Introduction

Définition
Présentation Def : Réseau pur
informelle
Définitions
formelles d’un
réseau de Petri
Un réseau de Petri R = (P, T , Pre, Post) est pur lorsque
Fonction-
∀p ∈ P, ∀t ∈ T , Pre(p, t) × Post(p, t) = 0 (membre à
nement d’un
réseau
membre).
Séquence de
franchisse-
ment Def : Réseau marqué
Modélisation Un réseau marqué N est un couple (R, M) constitué d’un
réseau de Petri R et d’une application de marquage définie sur
P et à valeurs dans N (i.e. le marquage du réseau à un instant
donné).
Matrice d’incidence

Réseaux de
Petri

V. Augusto
Def : Matrice d’incidence
La matrice d’incidence du réseau est C = Post − Pre.
Introduction

Définition
Présentation Def : Réseau pur
informelle
Définitions
formelles d’un
réseau de Petri
Un réseau de Petri R = (P, T , Pre, Post) est pur lorsque
Fonction-
∀p ∈ P, ∀t ∈ T , Pre(p, t) × Post(p, t) = 0 (membre à
nement d’un
réseau
membre).
Séquence de
franchisse-
ment Def : Réseau marqué
Modélisation Un réseau marqué N est un couple (R, M) constitué d’un
réseau de Petri R et d’une application de marquage définie sur
P et à valeurs dans N (i.e. le marquage du réseau à un instant
donné).
Matrice d’incidence

Réseaux de
Petri

V. Augusto
Def : Matrice d’incidence
La matrice d’incidence du réseau est C = Post − Pre.
Introduction

Définition
Présentation Def : Réseau pur
informelle
Définitions
formelles d’un
réseau de Petri
Un réseau de Petri R = (P, T , Pre, Post) est pur lorsque
Fonction-
∀p ∈ P, ∀t ∈ T , Pre(p, t) × Post(p, t) = 0 (membre à
nement d’un
réseau
membre).
Séquence de
franchisse-
ment Def : Réseau marqué
Modélisation Un réseau marqué N est un couple (R, M) constitué d’un
réseau de Petri R et d’une application de marquage définie sur
P et à valeurs dans N (i.e. le marquage du réseau à un instant
donné).
Réseaux de
Petri

V. Augusto

Introduction
1 Introduction
Définition
Présentation
informelle 2 Définition
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
3 Fonctionnement d’un réseau
réseau

Séquence de
franchisse- 4 Séquence de franchissement
ment

Modélisation
5 Modélisation
Franchissement

Réseaux de
Petri

V. Augusto

Introduction

Définition
Présentation
Def : Tir d’une transition
informelle
Définitions
formelles d’un
Une transition t est tirable (ou franchissable, ou validée)
réseau de Petri
lorsque :
∀p ∈ Γ−1 (t) M(p) ≥ Pre(p, t)
Fonction-
nement d’un
réseau

Séquence de Lorsqu’une transition est validée dans le marquage M0 , on note


franchisse-
ment M0 [t >.
Modélisation
Évolution du marquage

Réseaux de
Petri

V. Augusto

Introduction
Def : Évolution du marquage
Définition
Présentation
informelle
Soit N = (R, M) un réseau de Petri marqué de transitions T
Définitions
formelles d’un
et de places P. Le franchissement d’une transition t de T
réseau de Petri
validée dans le marquage M conduit au marquage M1 :
Fonction-
nement d’un
réseau

Séquence de
∀p ∈ P, ∀t ∈ T , M1 (p) = M(p) + C (p, t)
franchisse-
ment ∀p ∈ P, ∀t ∈ T , M1 (p) = M(p) + Post(p, t) − Pre(p, t)
Modélisation
On note alors M[t > M1 .
Réseaux de
Petri

V. Augusto

Introduction
1 Introduction
Définition
Présentation
informelle 2 Définition
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
3 Fonctionnement d’un réseau
réseau

Séquence de
franchisse- 4 Séquence de franchissement
ment

Modélisation
5 Modélisation
Séquence

Réseaux de
Petri

V. Augusto
On s’intéresse à l’évolution du réseau lors du tir successif
de plusieurs transitions.
Introduction

Définition
Lorsque M[t1 > M1 [t2 > M2 , on dit que la séquence de
Présentation
informelle
transitions t1 t2 est franchissable depuis le marquage M.
Définitions
formelles d’un
réseau de Petri
On note M[t1 t2 > M2 .
Fonction-
nement d’un
réseau Def : Séquence de franchissement
Séquence de Une séquence de franchissement est un mot construit sur
franchisse-
ment l’alphabet T ∗ des transitions de T . On note σ une séquence de
Modélisation franchissements.

Exemple
σ = t1 t2 et M[σ > M2 .
Séquence

Réseaux de
Petri

V. Augusto
On s’intéresse à l’évolution du réseau lors du tir successif
de plusieurs transitions.
Introduction

Définition
Lorsque M[t1 > M1 [t2 > M2 , on dit que la séquence de
Présentation
informelle
transitions t1 t2 est franchissable depuis le marquage M.
Définitions
formelles d’un
réseau de Petri
On note M[t1 t2 > M2 .
Fonction-
nement d’un
réseau Def : Séquence de franchissement
Séquence de Une séquence de franchissement est un mot construit sur
franchisse-
ment l’alphabet T ∗ des transitions de T . On note σ une séquence de
Modélisation franchissements.

Exemple
σ = t1 t2 et M[σ > M2 .
Séquence

Réseaux de
Petri

V. Augusto
On s’intéresse à l’évolution du réseau lors du tir successif
de plusieurs transitions.
Introduction

Définition
Lorsque M[t1 > M1 [t2 > M2 , on dit que la séquence de
Présentation
informelle
transitions t1 t2 est franchissable depuis le marquage M.
Définitions
formelles d’un
réseau de Petri
On note M[t1 t2 > M2 .
Fonction-
nement d’un
réseau Def : Séquence de franchissement
Séquence de Une séquence de franchissement est un mot construit sur
franchisse-
ment l’alphabet T ∗ des transitions de T . On note σ une séquence de
Modélisation franchissements.

Exemple
σ = t1 t2 et M[σ > M2 .
Séquence

Réseaux de
Petri

V. Augusto

Introduction

Définition Pour caractériser une séquence de franchissements σ, on utilise


Présentation
informelle son image commutative ~σ .
Définitions
formelles d’un
réseau de Petri
Exemple
Fonction-  
nement d’un
réseau
1
Séquence de σ = t1 t2 ; T = {t1 , t2 , t3 } ; ~σ =  1 
franchisse-
ment
0
Modélisation
Séquence

Réseaux de
Petri

V. Augusto

Introduction

Définition Pour caractériser une séquence de franchissements σ, on utilise


Présentation
informelle son image commutative ~σ .
Définitions
formelles d’un
réseau de Petri
Exemple
Fonction-  
nement d’un
réseau
1
Séquence de σ = t1 t2 ; T = {t1 , t2 , t3 } ; ~σ =  1 
franchisse-
ment
0
Modélisation
Séquence

Réseaux de
Petri

V. Augusto
Chaque composante de l’image commutative est le nombre
Introduction d’occurrences de la transition correspondante dans σ.
Définition
Présentation
informelle
Exemple
Définitions  
formelles d’un
réseau de Petri 1
Fonction-  1 
nement d’un σ~1 =   : σ1 = t1 t2 t3 ou σ1 = t3 t1 t2 ...
réseau  1 
Séquence de
franchisse-
0
 
ment
2
Modélisation
σ~2 =  3  : σ2 = t1 t2 t2 t1 t2 ou σ2 = t2 t2 t2 t1 t1 ...
0
Séquence

Réseaux de
Petri

V. Augusto
Chaque composante de l’image commutative est le nombre
Introduction d’occurrences de la transition correspondante dans σ.
Définition
Présentation
informelle
Exemple
Définitions  
formelles d’un
réseau de Petri 1
Fonction-  1 
nement d’un σ~1 =   : σ1 = t1 t2 t3 ou σ1 = t3 t1 t2 ...
réseau  1 
Séquence de
franchisse-
0
 
ment
2
Modélisation
σ~2 =  3  : σ2 = t1 t2 t2 t1 t2 ou σ2 = t2 t2 t2 t1 t1 ...
0
Équation d’état

Réseaux de
Petri Théorème : Équation d’état
V. Augusto
Soit σ une séquence finie de transitions tirable depuis un
Introduction marquage M d’un réseau R de matrice d’incidence C . On a :
Définition
Présentation
informelle
Définitions
M[σ > M1 ⇒ M1 = M + C~σ
formelles d’un
réseau de Petri

Fonction-
nement d’un
Remarque 1
réseau
Il s’agit d’une condition nécessaire mais pas suffisante : il se
Séquence de
franchisse- pourrait que σ ne soit pas franchissable depuis M !
ment

Modélisation
Remarque 2
Deux étapes pour calculer un marquage :
démontrer que le marquage valide la séquence ;
calculer le marquage résultat.
Équation d’état

Réseaux de
Petri Théorème : Équation d’état
V. Augusto
Soit σ une séquence finie de transitions tirable depuis un
Introduction marquage M d’un réseau R de matrice d’incidence C . On a :
Définition
Présentation
informelle
Définitions
M[σ > M1 ⇒ M1 = M + C~σ
formelles d’un
réseau de Petri

Fonction-
nement d’un
Remarque 1
réseau
Il s’agit d’une condition nécessaire mais pas suffisante : il se
Séquence de
franchisse- pourrait que σ ne soit pas franchissable depuis M !
ment

Modélisation
Remarque 2
Deux étapes pour calculer un marquage :
démontrer que le marquage valide la séquence ;
calculer le marquage résultat.
Équation d’état

Réseaux de
Petri Théorème : Équation d’état
V. Augusto
Soit σ une séquence finie de transitions tirable depuis un
Introduction marquage M d’un réseau R de matrice d’incidence C . On a :
Définition
Présentation
informelle
Définitions
M[σ > M1 ⇒ M1 = M + C~σ
formelles d’un
réseau de Petri

Fonction-
nement d’un
Remarque 1
réseau
Il s’agit d’une condition nécessaire mais pas suffisante : il se
Séquence de
franchisse- pourrait que σ ne soit pas franchissable depuis M !
ment

Modélisation
Remarque 2
Deux étapes pour calculer un marquage :
démontrer que le marquage valide la séquence ;
calculer le marquage résultat.
Exercice

Réseaux de
Petri
La séquence t1 t2 t1 est
V. Augusto
p1 franchissable dans le réseau
Introduction marquéN =(R, M0 ) avec
2
Définition
Présentation
4
informelle
t1  0 
Définitions
formelles d’un M0 =   0 .

réseau de Petri

Fonction-
nement d’un
0
réseau
p2 p3
Séquence de 1 Exprimer ~σ .
franchisse-
ment 2 On a M0 [σ > M. Calculer
Modélisation
t2 M.

2
p4
Réseaux de
Petri

V. Augusto

Introduction
1 Introduction
Définition
Présentation
informelle 2 Définition
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
3 Fonctionnement d’un réseau
réseau

Séquence de
franchisse- 4 Séquence de franchissement
ment

Modélisation
5 Modélisation
Interprétation

Réseaux de
Petri

V. Augusto

Introduction

Définition
Présentation
informelle
Définitions
formelles d’un
Place d’entrée Transition Place de sortie
réseau de Petri
Précondition Événement Postcondition
Fonction-
nement d’un Donnée d’entrée Traitement Donnée de sortie
réseau
Ressources nécessaires Job ou activité Ressources libérées
Séquence de
franchisse- Buffer d’entrée Processus Buffer de sortie
ment

Modélisation
Transition source et transition puits

Réseaux de
Petri Def : Transition source
V. Augusto
Une transition source ts d’un réseau de Petri (R, M0 ) est une
Introduction transition de T telle que Γ−1 (ts ) = ∅.
Définition
Présentation
informelle
Définitions
Def : Transition puits
formelles d’un
réseau de Petri
Une transition puits tp d’un réseau de Petri (R, M0 ) est une
Fonction-
nement d’un transition de T telle que Γ(tp ) = ∅.
réseau

Séquence de
franchisse-
ment
Proposition : Validation d’une transition source
Modélisation Une transition source est toujours validée.

Remarque
Les transitions source et puits permettent de modéliser des flux
continus.
Transition source et transition puits

Réseaux de
Petri Def : Transition source
V. Augusto
Une transition source ts d’un réseau de Petri (R, M0 ) est une
Introduction transition de T telle que Γ−1 (ts ) = ∅.
Définition
Présentation
informelle
Définitions
Def : Transition puits
formelles d’un
réseau de Petri
Une transition puits tp d’un réseau de Petri (R, M0 ) est une
Fonction-
nement d’un transition de T telle que Γ(tp ) = ∅.
réseau

Séquence de
franchisse-
ment
Proposition : Validation d’une transition source
Modélisation Une transition source est toujours validée.

Remarque
Les transitions source et puits permettent de modéliser des flux
continus.
Transition source et transition puits

Réseaux de
Petri Def : Transition source
V. Augusto
Une transition source ts d’un réseau de Petri (R, M0 ) est une
Introduction transition de T telle que Γ−1 (ts ) = ∅.
Définition
Présentation
informelle
Définitions
Def : Transition puits
formelles d’un
réseau de Petri
Une transition puits tp d’un réseau de Petri (R, M0 ) est une
Fonction-
nement d’un transition de T telle que Γ(tp ) = ∅.
réseau

Séquence de
franchisse-
ment
Proposition : Validation d’une transition source
Modélisation Une transition source est toujours validée.

Remarque
Les transitions source et puits permettent de modéliser des flux
continus.
Transition source et transition puits

Réseaux de
Petri Def : Transition source
V. Augusto
Une transition source ts d’un réseau de Petri (R, M0 ) est une
Introduction transition de T telle que Γ−1 (ts ) = ∅.
Définition
Présentation
informelle
Définitions
Def : Transition puits
formelles d’un
réseau de Petri
Une transition puits tp d’un réseau de Petri (R, M0 ) est une
Fonction-
nement d’un transition de T telle que Γ(tp ) = ∅.
réseau

Séquence de
franchisse-
ment
Proposition : Validation d’une transition source
Modélisation Une transition source est toujours validée.

Remarque
Les transitions source et puits permettent de modéliser des flux
continus.
Lancement de tâches en parallèle

Réseaux de
Petri

V. Augusto
p1

Introduction

Définition
t1
Présentation
informelle
Définitions
formelles d’un
p2 p3 p4
réseau de Petri

Fonction-
nement d’un
réseau
t2 t3 t4
Séquence de
franchisse-
ment
p5 p6 p7
Modélisation

t5

p8
Communication asynchrone

Réseaux de
Petri
Soient deux tâches τ1 et τ2 qui communiquent par messages.
V. Augusto τ1 émet un message en le plaçant dans un tampon de
communication tandis que τ2 est réceptrice, et est bloquée tant
Introduction
qu’elle n’a pas reçu le message.
Définition
Présentation τ1 τ2
informelle
Définitions
formelles d’un • p1 • p4
réseau de Petri

Fonction-
nement d’un
t1 p3 t2
réseau

Séquence de
franchisse-
ment

Modélisation p2 p5

Le nombre de jetons dans p3 correspond au nombre de


messages en attente.
Communication asynchrone

Réseaux de
Petri
Soient deux tâches τ1 et τ2 qui communiquent par messages.
V. Augusto τ1 émet un message en le plaçant dans un tampon de
communication tandis que τ2 est réceptrice, et est bloquée tant
Introduction
qu’elle n’a pas reçu le message.
Définition
Présentation τ1 τ2
informelle
Définitions
formelles d’un
p1 • p4
réseau de Petri

Fonction-
nement d’un
t1 • p3 t2
réseau

Séquence de
franchisse-
ment

Modélisation • p2 p5

Émission d’un message par τ1 .

Le nombre de jetons dans p3 correspond au nombre de


messages en attente.
Communication asynchrone

Réseaux de
Petri
Soient deux tâches τ1 et τ2 qui communiquent par messages.
V. Augusto τ1 émet un message en le plaçant dans un tampon de
communication tandis que τ2 est réceptrice, et est bloquée tant
Introduction
qu’elle n’a pas reçu le message.
Définition
Présentation τ1 τ2
informelle
Définitions
formelles d’un
p1 p4
réseau de Petri

Fonction-
nement d’un
t1 p3 t2
réseau

Séquence de
franchisse-
ment

Modélisation • p2 • p5

Réception d’un message par τ2 .

Le nombre de jetons dans p3 correspond au nombre de


messages en attente.
Section critique

Réseaux de
Petri

V. Augusto

Introduction

Définition Deux processus concurrents demandent l’accès à une section


Présentation
informelle
Définitions
critique en exclusion mutuelle. La procédure d’accès se
formelles d’un
réseau de Petri décompose de la manière suivante :
Fonction-
nement d’un demander l’accès à la section critique ;
réseau

Séquence de
utiliser la ressource en section critique ;
franchisse-
ment libérer l’accès à la section critique.
Modélisation
Section critique

Réseaux de
τ1 τ2
Petri
p1 p5 Prêt à entrer en SC
V. Augusto

Introduction
t1 t3 Gagner l’accès
Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
p2 • p4 p6 Dans la SC
réseau

Séquence de
franchisse-
ment

Modélisation
t2 t4 Libérer l’accès

p3 p7 Hors SC
Section critique

Réseaux de
τ1 τ2
Petri
• p1 p5 Prêt à entrer en SC
V. Augusto

Introduction
t1 t3 Gagner l’accès
Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
p2 • p4 p6 Dans la SC
réseau

Séquence de
franchisse-
ment

Modélisation
t2 t4 Libérer l’accès

p3 p7 Hors SC
Section critique

Réseaux de
τ1 τ2
Petri
p1 p5 Prêt à entrer en SC
V. Augusto

Introduction
t1 t3 Gagner l’accès
Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un • p2 p4 p6 Dans la SC
réseau

Séquence de
franchisse-
ment

Modélisation
t2 t4 Libérer l’accès

p3 p7 Hors SC
Section critique

Réseaux de
τ1 τ2
Petri
p1 • p5 Prêt à entrer en SC
V. Augusto

Introduction
t1 t3 Gagner l’accès
Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un • p2 p4 p6 Dans la SC
réseau

Séquence de
franchisse-
ment

Modélisation
t2 t4 Libérer l’accès

p3 p7 Hors SC
Section critique

Réseaux de
τ1 τ2
Petri
p1 • p5 Prêt à entrer en SC
V. Augusto

Introduction
t1 t3 Gagner l’accès
Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri

Fonction-
nement d’un
p2 • p4 p6 Dans la SC
réseau

Séquence de
franchisse-
ment

Modélisation
t2 t4 Libérer l’accès

• p3 p7 Hors SC
Modèle producteur-consommateur

Réseaux de
Petri

V. Augusto
Le producteur et le consommateur sont deux processus
Introduction cycliques : le producteur produit des entités qu’il dépose dans
Définition une zone tampon, tandis que le consommateur retire ces
Présentation
informelle
Définitions
entités afin de les consommer.
formelles d’un
réseau de Petri
t1 p1 t2 p2 t3
Fonction-
nement d’un
réseau
k
Séquence de
franchisse-
Place occupée
ment
Entrée d’une entité Production Cons.
Modélisation
dans le système p3
n-k
Place libre
Modèle producteur-consommateur

Entrée t1
Réseaux de
Petri
p3
V. Augusto p1
n-k
Introduction

Définition
Présentation
informelle
Définitions
formelles d’un
réseau de Petri Début prod. t2 t4 Début cons.
Fonction-
nement d’un
réseau

Séquence de p4
franchisse-
ment
• p6 p2 k p5 • p7
Modélisation

Fin prod. t5 Fin cons.


t3
Processus industriel

Réseaux de
Petri

V. Augusto

Introduction
Une série de pièces entrent dans l’atelier et sont fixées sur des
Définition
Présentation
palettes. Chacune subit une première opération d’usinage sur la
informelle
Définitions machine M1 . Cette opération terminée, un robot R décharge
formelles d’un
réseau de Petri M1 et place la pièce dans une zone tampon Ta .
Fonction-
nement d’un
réseau
Chaque pièce de Ta est ensuite chargée sur M2 où elle subit
Séquence de
franchisse- une deuxième opération d’usinage. Une fois l’opération sur M2
ment
terminée, R décharge la pièce de M2 . La pièce est terminée,
Modélisation
elle quitte l’atelier et la palette est libérée.
Processus industriel

Réseaux de
Petri
Hypothèses :
V. Augusto Stock d’entrée de capacité infinie ;
Ta a une capacité de Mt pièces ;
Introduction
Mp palettes ;
Définition
Présentation Le robot n’est utilisé que pour le déchargement des
informelle
Définitions
formelles d’un
machines ;
réseau de Petri
Les machines ne peuvent traiter qu’une pièce à la fois, le
Fonction-
nement d’un robot aussi.
réseau
Activités :
Séquence de
franchisse- Mp1 : la machine M1 charge, fixe et usine une pièce
ment

Modélisation
palettisée.
R1 : le robot décharge M1 .
Tp : une pièce est placée dans le tampon Ta par le robot.
Mp2 : la machine M2 charge une pièce depuis Ta et l’usine.
R2 : le robot décharge M2 , la palette est libérée et la pièce
quitte l’atelier ; la palette libérée retournée à l’entrée.
Bloc opératoire

Réseaux de On considère que le processus d’intervention chirurgicale se décompose en


Petri
5 étapes distinctes :
V. Augusto
TR1 Transfert du patient de sa chambre vers le bloc.
Introduction
SUR Intervention dans une salle opératoire
Définition
Présentation
informelle
REC Réveil dans un lit de réveil.
Définitions
formelles d’un TR2 Transfert du patient du bloc vers sa chambre.
réseau de Petri

Fonction- CL Nettoyage de la salle opératoire.


nement d’un
réseau Le nettoyage de la salle opératoire commence dès que le patient a quitté la
Séquence de salle opératoire. On considère 3 ressources : n salles opératoires ; m lits de
franchisse-
ment réveils ; p équipes de brancardiers.
Modélisation
Questions :
1 Proposer une modélisation du problème en prenant pour hypothèse
que le patient est susceptible d’attendre entre les tâches.
2 Proposer une modélisation du problème dans le cas où le patient ne
quitte la salle opératoire seulement si un lit de réveil est disponible.
Modélisation du processus de don du sang

Réseaux de On se propose de modéliser le processus de don du sang sur site fixe, i.e.
Petri
dans les locaux de l’EFS (Établissement Français du Sang). Plusieurs types
V. Augusto de donneurs peuvent se présenter à l’EFS pour effectuer un don :
Introduction Les donneurs de sang total arrivent sans rendez-vous. Le donneur
Définition doit tout d’abord s’enregistrer auprès d’une secrétaire au comptoir
Présentation
informelle
d’accueil. Si le dossier du donneur n’est pas en règle, il quitte le
Définitions système. Dans le cas contraire, le donneur doit subir une consultation
formelles d’un
réseau de Petri médicale auprès d’un médecin de l’EFS. Si le patient n’est pas apte
Fonction- au don de sang, il quitte le système. Dans le cas contraire, il se rend
nement d’un
réseau ensuite dans la salle de prélèvement, où il doit patienter jusqu’à ce
Séquence de
qu’un lit se libère. Dès qu’une place est libre, le patient s’installe. Un
franchisse- infirmier installe l’équipement et le prélèvement peut commencer. À
ment
l’issu du prélèvement, le patient quitte le système.
Modélisation
Les donneurs de plaquette et de plasma doivent avoir un rendez-vous
et se présentent donc à l’heure qui leur a été fixée. Il existe une
probabilité pour que les donneurs ne se présentent pas (no-show). Le
processus est ensuite similaire à celui des donneurs de sang total. La
seule différence réside dans le fait que les donneurs de plaquette et de
plasma doivent utiliser une machine dédiée pour le prélèvement.
Modélisation du processus de don du sang

Réseaux de
Petri

V. Augusto

Introduction
Les ressources suivantes sont considérées : 1 secrétaire pour l’accueil, 1
Définition
Présentation
médecin pour la consultation médicale, six machines de prélèvement de
informelle
Définitions
sang total, deux machines de prélèvement de plasma et deux machines de
formelles d’un
réseau de Petri
prélèvement de plaquettes. Trois infirmiers travaillent dans la salle de
Fonction-
prélèvement. Ceux-ci interviennent uniquement au début et à la fin du
nement d’un prélèvement (branchement et débranchement du matériel), ainsi qu’en cas
réseau
de problème durant le prélèvement.
Séquence de
franchisse-
ment Modéliser le fonctionnement d’un tel système au moyen d’un réseau de
Modélisation Petri.