R

eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Reseaux de Petri

Fonctionnement dun
r
eseau

Vincent Augusto

S
equence de
franchissement

Ecole
Nationale Sup
erieure des Mines de Saint-Etienne

Mod
elisation

2012-2013

R
eseaux de
Petri
V. Augusto
Introduction

Introduction

Definition

Fonctionnement dun reseau

Sequence de franchissement

Modelisation

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Un reseau de Petri
est un mod`ele mathematique permettant la representation
de syst`emes distribues discrets (informatique, industriel),
introduit par Petri (1962).
est egalement un langage de modelisation, represente sous
forme dun graphe biparti oriente.

Etude
des syst`emes discrets dont les champs dapplication sont
les syst`emes de production (caracterises par une variation
imprevisible des besoins).

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Un reseau de Petri
est un mod`ele mathematique permettant la representation
de syst`emes distribues discrets (informatique, industriel),
introduit par Petri (1962).
est egalement un langage de modelisation, represente sous
forme dun graphe biparti oriente.

Etude
des syst`emes discrets dont les champs dapplication sont
les syst`emes de production (caracterises par une variation
imprevisible des besoins).

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Syst`emes Manufacturiers Flexibles (FMS), caracterises par :

un ensemble de machines flexibles (multi-produits) ;
un syst`eme de transfert automatique (multi-ressources) ;
un syst`eme de prise de decision (ordonnanceur).
enements Discrets (SED), caracterises par :
Syst`eme `a Ev
des contraintes de precedence (dans les gammes de
fabrication ou dans les algorithmes) ;
des effets de concurrence induits par le partage des
ressources ;
une structuration en t
aches parall`eles, asynchrones,
soumises `a des contraintes temporelles strictes ou non.

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Syst`emes Manufacturiers Flexibles (FMS), caracterises par :

un ensemble de machines flexibles (multi-produits) ;
un syst`eme de transfert automatique (multi-ressources) ;
un syst`eme de prise de decision (ordonnanceur).
enements Discrets (SED), caracterises par :
Syst`eme `a Ev
des contraintes de precedence (dans les gammes de
fabrication ou dans les algorithmes) ;
des effets de concurrence induits par le partage des
ressources ;
une structuration en t
aches parall`eles, asynchrones,
soumises `a des contraintes temporelles strictes ou non.

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Syst`emes complexes et couteux `

a mettre en uvre :
valider les specification ;
prevoir les performances ;
optimiser le fonctionnement (theorie des files dattentes,
simulation, etc.).
Deux principaux types de representation permettent daborder
les reseaux de Petri :
une representation graphique sous forme de graphe,
permettant de capturer la dynamique du syst`eme ;
une representation algebrique lineaire.

Presentation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Syst`emes complexes et couteux `

a mettre en uvre :
valider les specification ;
prevoir les performances ;
optimiser le fonctionnement (theorie des files dattentes,
simulation, etc.).
Deux principaux types de representation permettent daborder
les reseaux de Petri :
une representation graphique sous forme de graphe,
permettant de capturer la dynamique du syst`eme ;
une representation algebrique lineaire.

R
eseaux de
Petri
V. Augusto
Introduction

Introduction

Definition

Fonctionnement dun reseau

Sequence de franchissement

Modelisation

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Presentation informelle
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement

Un reseau de Petri est un graphe biparti dont on

particularise les deux familles de sommets : les places et
les transitions.
Comme dans tout graphe biparti, un arc ne relie jamais
deux sommets de la meme famille.
Les places sont representees par des cercles, tandis que les
transitions sont representrees par des traits ou des
rectangles.

Mod
elisation

Correct

Incorrect

Dynamique du syst`eme
R
eseaux de
Petri
V. Augusto
Introduction

Chaque place va contenir un nombre entier de jetons (ou

marques) pour modeliser la dynamique du syst`eme.

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

2 jetons

25 25 jetons

Le marquage du reseau est constitue de toutes les marques

presentees dans le reseau `
a un instant donne.
Un reseau de Petri g
en
eralis
e est un reseau dans lequel les
valuations des arcs ne sont pas forcement egales `a 1. Un reseau
de Petri ordinaire est un reseau dont le graphe sous-jacent est
un 1-graphe.

Dynamique du syst`eme
R
eseaux de
Petri
V. Augusto
Introduction

Chaque place va contenir un nombre entier de jetons (ou

marques) pour modeliser la dynamique du syst`eme.

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

2 jetons

25 25 jetons

Le marquage du reseau est constitue de toutes les marques

presentees dans le reseau `
a un instant donne.
Un reseau de Petri g
en
eralis
e est un reseau dans lequel les
valuations des arcs ne sont pas forcement egales `a 1. Un reseau
de Petri ordinaire est un reseau dont le graphe sous-jacent est
un 1-graphe.

Dynamique du syst`eme
R
eseaux de
Petri
V. Augusto
Introduction

Chaque place va contenir un nombre entier de jetons (ou

marques) pour modeliser la dynamique du syst`eme.

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

2 jetons

25 25 jetons

Le marquage du reseau est constitue de toutes les marques

presentees dans le reseau `
a un instant donne.
Un reseau de Petri g
en
eralis
e est un reseau dans lequel les
valuations des arcs ne sont pas forcement egales `a 1. Un reseau
de Petri ordinaire est un reseau dont le graphe sous-jacent est
un 1-graphe.

Notation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

On note souvent :
T lensemble des transitions ;
P lensemble des places ;
v la fonction de valuation des arcs ;
M(p) le marquage de la place p (i.e. le nombre de jetons
contenus dans p `
a un instant donne).

Exemple

t1
2

R
eseaux de
Petri
V. Augusto

p2

Introduction
D
efinition

Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

t2

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

p4

p3

2
t4

t3

p1

Tir de t2

t1
2

R
eseaux de
Petri
V. Augusto

p2

Introduction
D
efinition

Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

t2

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

p4

p3

2
t4

t3

p1

Tir de t4

t1
2

R
eseaux de
Petri
V. Augusto

p2

Introduction
D
efinition

Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

t2

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

p4

p3

2
t4

t3

p1

Exemple

t1

R
eseaux de
Petri

P = {p1 , p2 , p3 , p4 }

V. Augusto

T = {t1 , t2 , t3 , t4 }

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

v (t1 , p2 ) = 2, v (p2 , t2 ) = 1,
v (t4 , p2 ) = 3
M(p1 ) = 1, M(p2 ) = 2,
M(p3 )
= 0, M(p
4) = 1 ;
1
2

M0 =
0
1
1 (t2 ) = {p2 },
(t2 ) = {p3 , p4 }

p2

t2

p4

p3

2
t4

t3

p1

Transition validee
R
eseaux de
Petri
V. Augusto

Chaque place de 1 (t2 ) contient plus de jetons que la

valuation de larc la reliant `
a t2 .

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement

M(p2 ) v (p2 , t2 )
On dit que t2 est franchissable (tirable, valid
ee). Si lon tire
t2 , le marquage des places de 1 (t2 ) et de (t2 ) va etre
modifie :
M(p2 ) M(p2 ) v (p2 , t2 )
M(p3 ) M(p3 ) + v (t2 , p3 )

Mod
elisation

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 validee
R
eseaux de
Petri
V. Augusto

Chaque place de 1 (t2 ) contient plus de jetons que la

valuation de larc la reliant `
a t2 .

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement

M(p2 ) v (p2 , t2 )
On dit que t2 est franchissable (tirable, valid
ee). Si lon tire
t2 , le marquage des places de 1 (t2 ) et de (t2 ) va etre
modifie :
M(p2 ) M(p2 ) v (p2 , t2 )
M(p3 ) M(p3 ) + v (t2 , p3 )

Mod
elisation

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 validee
R
eseaux de
Petri
V. Augusto

Chaque place de 1 (t2 ) contient plus de jetons que la

valuation de larc la reliant `
a t2 .

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement

M(p2 ) v (p2 , t2 )
On dit que t2 est franchissable (tirable, valid
ee). Si lon tire
t2 , le marquage des places de 1 (t2 ) et de (t2 ) va etre
modifie :
M(p2 ) M(p2 ) v (p2 , t2 )
M(p3 ) M(p3 ) + v (t2 , p3 )

Mod
elisation

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 .

Reseau de Petri generalise

R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Reseau de Petri generalise

Un r
eseau de Petri g
en
eralis
e est un quadruplet R tel que
R = (P, T , Pre, Post) avec :
P : ensemble des places du reseau ;
T : ensemble des transitions du reseau ;
Pre : application dincidence avant, de P T dans N.
p P, t T , Pre(p, t) = v (p, t) si (p, t) G , 0 sinon.
Post : application dincidence arri`ere, de P T dans N.
p P, t T , Post(p, t) = v (t, p) si (t, p) G , 0
sinon.
` chaque application dincidence est associee une matrice
A
|P| |T |.

Exemple

t1
2

R
eseaux de
Petri
V. Augusto

p2

Introduction
D
efinition

Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

t2

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

p1

1
0
Pre =
0
0

p4

p3

2
t4

t3

0
2
Post =
0
0

0
1
0
0

0
0
1
1

0
0
2
0

1
0
0
0

0
0

0
2

0
3

0
0

Exemple
R
eseaux de
Petri

p1

V. Augusto
Introduction

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

t1

p2

p3

S
equence de
franchissement
Mod
elisation

t2
2
p4

P = {p1 , p2 , p3 , p4 }
T = {t1 , t2 }

2 0
0 1

Pre =
0 1
0 0

0 0
1 0

Post =
1 0
0 2

2 0
1 1

C =
1 1
0
2

Matrice dincidence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Def : Matrice dincidence

La matrice dincidence du reseau est C = Post Pre.
Def : Reseau pur

Fonctionnement dun
r
eseau

Un reseau de Petri R = (P, T , Pre, Post) est pur lorsque

p P, t T , Pre(p, t) Post(p, t) = 0 (membre `a
membre).

S
equence de
franchissement

Def : Reseau marque

Mod
elisation

Un reseau marqu
e N est un couple (R, M) constitue dun
reseau de Petri R et dune application de marquage definie sur
P et `a valeurs dans N (i.e. le marquage du reseau `a un instant
donne).

Matrice dincidence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Def : Matrice dincidence

La matrice dincidence du reseau est C = Post Pre.
Def : Reseau pur

Fonctionnement dun
r
eseau

Un reseau de Petri R = (P, T , Pre, Post) est pur lorsque

p P, t T , Pre(p, t) Post(p, t) = 0 (membre `a
membre).

S
equence de
franchissement

Def : Reseau marque

Mod
elisation

Un reseau marqu
e N est un couple (R, M) constitue dun
reseau de Petri R et dune application de marquage definie sur
P et `a valeurs dans N (i.e. le marquage du reseau `a un instant
donne).

Matrice dincidence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Def : Matrice dincidence

La matrice dincidence du reseau est C = Post Pre.
Def : Reseau pur

Fonctionnement dun
r
eseau

Un reseau de Petri R = (P, T , Pre, Post) est pur lorsque

p P, t T , Pre(p, t) Post(p, t) = 0 (membre `a
membre).

S
equence de
franchissement

Def : Reseau marque

Mod
elisation

Un reseau marqu
e N est un couple (R, M) constitue dun
reseau de Petri R et dune application de marquage definie sur
P et `a valeurs dans N (i.e. le marquage du reseau `a un instant
donne).

R
eseaux de
Petri
V. Augusto
Introduction

Introduction

Definition

Fonctionnement dun reseau

Sequence de franchissement

Modelisation

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Franchissement
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Tir dune transition

Une transition t est tirable (ou franchissable, ou valid
ee)
lorsque :
p 1 (t) M(p) Pre(p, t)
Lorsquune transition est validee dans le marquage M0 , on note
M0 [t >.


Evolution
du marquage
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Evolution
du marquage
Soit N = (R, M) un reseau de Petri marque de transitions T
et de places P. Le franchissement dune transition t de T
validee dans le marquage M conduit au marquage M1 :
p P, t T , M1 (p) = M(p) + C (p, t)
p P, t T , M1 (p) = M(p) + Post(p, t) Pre(p, t)
On note alors M[t > M1 .

R
eseaux de
Petri
V. Augusto
Introduction

Introduction

Definition

Fonctionnement dun reseau

Sequence de franchissement

Modelisation

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Sequence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

On sinteresse `
a levolution du reseau lors du tir successif
de plusieurs transitions.
Lorsque M[t1 > M1 [t2 > M2 , on dit que la sequence de
transitions t1 t2 est franchissable depuis le marquage M.
On note M[t1 t2 > M2 .
Def : Sequence de franchissement
Une sequence de franchissement est un mot construit sur
lalphabet T des transitions de T . On note une sequence de
franchissements.
Exemple
= t1 t2 et M[ > M2 .

Sequence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

On sinteresse `
a levolution du reseau lors du tir successif
de plusieurs transitions.
Lorsque M[t1 > M1 [t2 > M2 , on dit que la sequence de
transitions t1 t2 est franchissable depuis le marquage M.
On note M[t1 t2 > M2 .
Def : Sequence de franchissement
Une sequence de franchissement est un mot construit sur
lalphabet T des transitions de T . On note une sequence de
franchissements.
Exemple
= t1 t2 et M[ > M2 .

Sequence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

On sinteresse `
a levolution du reseau lors du tir successif
de plusieurs transitions.
Lorsque M[t1 > M1 [t2 > M2 , on dit que la sequence de
transitions t1 t2 est franchissable depuis le marquage M.
On note M[t1 t2 > M2 .
Def : Sequence de franchissement
Une sequence de franchissement est un mot construit sur
lalphabet T des transitions de T . On note une sequence de
franchissements.
Exemple
= t1 t2 et M[ > M2 .

Sequence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Pour caracteriser une sequence de franchissements , on utilise

son image commutative ~ .
Exemple

1
= t1 t2 ; T = {t1 , t2 , t3 } ; ~ = 1
0

Sequence
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Pour caracteriser une sequence de franchissements , on utilise

son image commutative ~ .
Exemple

1
= t1 t2 ; T = {t1 , t2 , t3 } ; ~ = 1
0

Sequence
R
eseaux de
Petri
V. Augusto
Introduction

Chaque composante de limage commutative est le nombre

doccurrences de la transition correspondante dans .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Exemple

~1 =

~2 =

1
1
1
0
2
3
0

: 1 = t1 t2 t3 ou 1 = t3 t1 t2 ...

: 2 = t1 t2 t2 t1 t2 ou 2 = t2 t2 t2 t1 t1 ...

Sequence
R
eseaux de
Petri
V. Augusto
Introduction

Chaque composante de limage commutative est le nombre

doccurrences de la transition correspondante dans .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Exemple

~1 =

~2 =

1
1
1
0
2
3
0

: 1 = t1 t2 t3 ou 1 = t3 t1 t2 ...

: 2 = t1 t2 t2 t1 t2 ou 2 = t2 t2 t2 t1 t1 ...


Equation
detat
R
eseaux de
Petri
V. Augusto
Introduction

Theor`eme : Equation
detat
Soit une sequence finie de transitions tirable depuis un
marquage M dun reseau R de matrice dincidence C . On a :

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

M[ > M1 M1 = M + C~
Remarque 1
Il sagit dune condition necessaire mais pas suffisante : il se
pourrait que ne soit pas franchissable depuis M !
Remarque 2
Deux etapes pour calculer un marquage :
demontrer que le marquage valide la sequence ;
calculer le marquage resultat.


Equation
detat
R
eseaux de
Petri
V. Augusto
Introduction

Theor`eme : Equation
detat
Soit une sequence finie de transitions tirable depuis un
marquage M dun reseau R de matrice dincidence C . On a :

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

M[ > M1 M1 = M + C~
Remarque 1
Il sagit dune condition necessaire mais pas suffisante : il se
pourrait que ne soit pas franchissable depuis M !
Remarque 2
Deux etapes pour calculer un marquage :
demontrer que le marquage valide la sequence ;
calculer le marquage resultat.


Equation
detat
R
eseaux de
Petri
V. Augusto
Introduction

Theor`eme : Equation
detat
Soit une sequence finie de transitions tirable depuis un
marquage M dun reseau R de matrice dincidence C . On a :

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

M[ > M1 M1 = M + C~
Remarque 1
Il sagit dune condition necessaire mais pas suffisante : il se
pourrait que ne soit pas franchissable depuis M !
Remarque 2
Deux etapes pour calculer un marquage :
demontrer que le marquage valide la sequence ;
calculer le marquage resultat.

Exercice
R
eseaux de
Petri
V. Augusto

La sequence t1 t2 t1 est
franchissable dans le reseau
marqueN =(R, M0 ) avec
4
0

M0 =
0 .
0

p1

Introduction

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

t1

p2

p3

S
equence de
franchissement
Mod
elisation

t2
2
p4

Exprimer ~ .

On a M0 [ > M. Calculer
M.

R
eseaux de
Petri
V. Augusto
Introduction

Introduction

Definition

Fonctionnement dun reseau

Sequence de franchissement

Modelisation

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Interpretation
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Place dentr
ee
Precondition
Donnee dentree
Ressources necessaires
Buffer dentree

Transition
enement
Ev
Traitement
Job ou activite
Processus

Place de sortie
Postcondition
Donnee de sortie
Ressources liberees
Buffer de sortie

Transition source et transition puits

R
eseaux de
Petri
V. Augusto
Introduction

Def : Transition source

Une transition source ts dun reseau de Petri (R, M0 ) est une
transition de T telle que 1 (ts ) = .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Transition puits

Une transition puits tp dun reseau de Petri (R, M0 ) est une
transition de T telle que (tp ) = .
Proposition : Validation dune transition source
Une transition source est toujours validee.
Remarque
Les transitions source et puits permettent de modeliser des flux
continus.

Transition source et transition puits

R
eseaux de
Petri
V. Augusto
Introduction

Def : Transition source

Une transition source ts dun reseau de Petri (R, M0 ) est une
transition de T telle que 1 (ts ) = .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Transition puits

Une transition puits tp dun reseau de Petri (R, M0 ) est une
transition de T telle que (tp ) = .
Proposition : Validation dune transition source
Une transition source est toujours validee.
Remarque
Les transitions source et puits permettent de modeliser des flux
continus.

Transition source et transition puits

R
eseaux de
Petri
V. Augusto
Introduction

Def : Transition source

Une transition source ts dun reseau de Petri (R, M0 ) est une
transition de T telle que 1 (ts ) = .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Transition puits

Une transition puits tp dun reseau de Petri (R, M0 ) est une
transition de T telle que (tp ) = .
Proposition : Validation dune transition source
Une transition source est toujours validee.
Remarque
Les transitions source et puits permettent de modeliser des flux
continus.

Transition source et transition puits

R
eseaux de
Petri
V. Augusto
Introduction

Def : Transition source

Une transition source ts dun reseau de Petri (R, M0 ) est une
transition de T telle que 1 (ts ) = .

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Def : Transition puits

Une transition puits tp dun reseau de Petri (R, M0 ) est une
transition de T telle que (tp ) = .
Proposition : Validation dune transition source
Une transition source est toujours validee.
Remarque
Les transitions source et puits permettent de modeliser des flux
continus.

Lancement de taches en parall`ele

R
eseaux de
Petri

p1

V. Augusto
Introduction

t1

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement

p2
t2
p5

p3
t3
p6

Mod
elisation

t5
p8

p4
t4
p7

Communication asynchrone
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

Soient deux taches 1 et 2 qui communiquent par messages.

1 emet un message en le placant dans un tampon de
communication tandis que 2 est receptrice, et est bloquee tant
quelle na pas recu le message.
1
2
p1
p4

t1

p3

t2

S
equence de
franchissement
Mod
elisation

p2

p5

Le nombre de jetons dans p3 correspond au nombre de

messages en attente.

Communication asynchrone
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Soient deux taches 1 et 2 qui communiquent par messages.

1 emet un message en le placant dans un tampon de
communication tandis que 2 est receptrice, et est bloquee tant
quelle na pas recu le message.
1
2
p1
p4

Fonctionnement dun
r
eseau

t1

p3

t2

S
equence de
franchissement
Mod
elisation

p2

p5

Emission
dun message par 1 .
Le nombre de jetons dans p3 correspond au nombre de
messages en attente.

Communication asynchrone
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Soient deux taches 1 et 2 qui communiquent par messages.

1 emet un message en le placant dans un tampon de
communication tandis que 2 est receptrice, et est bloquee tant
quelle na pas recu le message.
1
2
p1
p4

Fonctionnement dun
r
eseau

t1

p3

t2

S
equence de
franchissement
Mod
elisation

p2

p5

Reception dun message par 2 .

Le nombre de jetons dans p3 correspond au nombre de
messages en attente.

Section critique
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Deux processus concurrents demandent lacc`es `a une section

critique en exclusion mutuelle. La procedure dacc`es se
decompose de la mani`ere suivante :
demander lacc`es `
a la section critique ;
utiliser la ressource en section critique ;
liberer lacc`es `
a la section critique.

Section critique
R
eseaux de
Petri

2
p5 Pret `a entrer en SC

p1

V. Augusto
Introduction

t1

t3

Gagner lacc`es

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

p2

p4

p6 Dans la SC

S
equence de
franchissement
Mod
elisation

t2
p3

t4

Liberer lacc`es

p7 Hors SC

Section critique
R
eseaux de
Petri
V. Augusto
Introduction

2
p5 Pret `a entrer en SC

p1
t1

t3

Gagner lacc`es

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

p2

p4

p6 Dans la SC

S
equence de
franchissement
Mod
elisation

t2
p3

t4

Liberer lacc`es

p7 Hors SC

Section critique
R
eseaux de
Petri

2
p5 Pret `a entrer en SC

p1

V. Augusto

t1

Introduction

t3

Gagner lacc`es

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

p2

p4

p6 Dans la SC

S
equence de
franchissement
Mod
elisation

t2
p3

t4

Liberer lacc`es

p7 Hors SC

Section critique
R
eseaux de
Petri

2
p1

V. Augusto

t1

Introduction

p5 Pret `a entrer en SC
t3

Gagner lacc`es

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

p2

p4

p6 Dans la SC

S
equence de
franchissement
Mod
elisation

t2
p3

t4

Liberer lacc`es

p7 Hors SC

Section critique
R
eseaux de
Petri

2
p1

V. Augusto

t1

Introduction

p5 Pret `a entrer en SC
t3

Gagner lacc`es

D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau

p2

p4

p6 Dans la SC

S
equence de
franchissement
Mod
elisation

t2

p3

t4

Liberer lacc`es

p7 Hors SC

Mod`ele producteur-consommateur
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Le producteur et le consommateur sont deux processus

cycliques : le producteur produit des entites quil depose dans
une zone tampon, tandis que le consommateur retire ces
entites afin de les consommer.
t1

p1

t2

p2

t3

k
Entree dune entite
dans le syst`eme

Production

Place occupee
p3
n-k
Place libre

Cons.

Mod`ele producteur-consommateur
R
eseaux de
Petri

Entree

t1
p1

V. Augusto

p3
n-k

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Debut prod.

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

t2

t4

Debut cons.

p4

p6

p2

Fin prod.

p5

t5
t3

p7

Fin cons.

Processus industriel
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Une serie de pi`eces entrent dans latelier et sont fixees sur des
palettes. Chacune subit une premi`ere operation dusinage sur la
machine M1 . Cette operation terminee, un robot R decharge
M1 et place la pi`ece dans une zone tampon Ta .
Chaque pi`ece de Ta est ensuite chargee sur M2 o`
u elle subit
une deuxi`eme operation dusinage. Une fois loperation sur M2
terminee, R decharge la pi`ece de M2 . La pi`ece est terminee,
elle quitte latelier et la palette est liberee.

Processus industriel
R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Hypoth`
eses :
Stock dentree de capacite infinie ;
Ta a une capacite de Mt pi`eces ;
Mp palettes ;
Le robot nest utilise que pour le dechargement des
machines ;
Les machines ne peuvent traiter quune pi`ece `a la fois, le
robot aussi.
Activit
es :
Mp1 : la machine M1 charge, fixe et usine une pi`ece
palettisee.
R1 : le robot decharge M1 .
Tp : une pi`ece est placee dans le tampon Ta par le robot.
Mp2 : la machine M2 charge une pi`ece depuis Ta et lusine.
R2 : le robot decharge M2 , la palette est liberee et la pi`ece
quitte latelier ; la palette liberee retournee `a lentree.

Bloc operatoire
R
eseaux de
Petri

On consid`ere que le processus dintervention chirurgicale se decompose en

5 etapes distinctes :

V. Augusto

TR1 Transfert du patient de sa chambre vers le bloc.

Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

SUR Intervention dans une salle operatoire

REC Reveil dans un lit de reveil.
TR2 Transfert du patient du bloc vers sa chambre.
CL Nettoyage de la salle operatoire.
Le nettoyage de la salle operatoire commence d`es que le patient a quitte la
salle operatoire. On consid`ere 3 ressources : n salles operatoires ; m lits de
reveils ; p equipes de brancardiers.
Questions :
1

Proposer une modelisation du probl`eme en prenant pour hypoth`ese

que le patient est susceptible dattendre entre les t
aches.

Proposer une modelisation du probl`eme dans le cas o`

u le patient ne
quitte la salle operatoire seulement si un lit de reveil est disponible.

Modelisation du processus de don du sang

R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

On se propose de modeliser le processus de don du sang sur site fixe, i.e.

dans les locaux de lEFS (Etablissement

Francais du Sang). Plusieurs types
de donneurs peuvent se presenter `
a lEFS pour effectuer un don :
Les donneurs de sang total arrivent sans rendez-vous. Le donneur
doit tout dabord senregistrer aupr`es dune secretaire au comptoir
daccueil. Si le dossier du donneur nest pas en r`egle, il quitte le
syst`eme. Dans le cas contraire, le donneur doit subir une consultation
medicale aupr`es dun medecin de lEFS. Si le patient nest pas apte
au don de sang, il quitte le syst`eme. Dans le cas contraire, il se rend
ensuite dans la salle de prel`evement, o`
u il doit patienter jusqu`
a ce
quun lit se lib`ere. D`es quune place est libre, le patient sinstalle. Un
`
infirmier installe lequipement et le prel`evement peut commencer. A
lissu du prel`evement, le patient quitte le syst`eme.
Les donneurs de plaquette et de plasma doivent avoir un rendez-vous
et se presentent donc `
a lheure qui leur a ete fixee. Il existe une
probabilite pour que les donneurs ne se presentent pas (no-show). Le
processus est ensuite similaire `
a celui des donneurs de sang total. La
seule difference reside dans le fait que les donneurs de plaquette et de
plasma doivent utiliser une machine dediee pour le prel`evement.

Modelisation du processus de don du sang

R
eseaux de
Petri
V. Augusto
Introduction
D
efinition
Pr
esentation
informelle
D
efinitions
formelles dun
r
eseau de Petri

Fonctionnement dun
r
eseau
S
equence de
franchissement
Mod
elisation

Les ressources suivantes sont considerees : 1 secretaire pour laccueil, 1

medecin pour la consultation medicale, six machines de prel`evement de
sang total, deux machines de prel`evement de plasma et deux machines de
prel`evement de plaquettes. Trois infirmiers travaillent dans la salle de
prel`evement. Ceux-ci interviennent uniquement au debut et `
a la fin du
prel`evement (branchement et debranchement du materiel), ainsi quen cas
de probl`eme durant le prel`evement.
Modeliser le fonctionnement dun tel syst`eme au moyen dun reseau de
Petri.