Académique Documents
Professionnel Documents
Culture Documents
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
Réseaux de
Petri
V. Augusto
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
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
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
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
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
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
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
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
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
Réseaux de
Petri
V. Augusto
Introduction
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
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é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éseaux de
Petri
V. Augusto
Introduction
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
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 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.