Vous êtes sur la page 1sur 66

Modlisation et Simulation des

Systmes de Production

O. KAMACH

okamach@ensat.ac.ma

cole Nationale des Sciences Appliques de Tanger GIND 2010-2011


Modlisation et Simulation des
Systmes de Production
Dfinition : dfinition formelle

Un Rseau de Petri (RdP) Place/Transition est un quintuplet (P, T, Pr, Pos, W) dans lequel

P est un ensemble fini non vide dobjets appels places : P = {p1, p2, ,pn};
T est un ensemble fini non vide dobjets appels transitions : T = {t1, t2, , tm};
Pr est un ensemble de relations (relations dentres) qui lie P T;
Pos est un ensemble de relations (relations de sortie) qui lie T P
W est une application qui lie chaque relation un entier > 0 appel poids de larc.

Un RdP est dit fortement connexe si tous les sommets possdent au moins une relation dentre
et une relation de sortie. Il est connexe dans le cas inverse

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Constituant dun RdP

Un rseau de PETRI, est graphe bi-parties constitu informellement de


deux types de noeuds:
Des places reprsents par des cercles
Des transitions reprsentes par des barres

Des arcs relient une place une transition ou une transition une place,
mais jamais une place une place ou une transition une transition

Oui Non Non

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Marquage dun RdP

On associe un rseaux de Petri un marquage qui reprsente le nombre


(entier) de jetons (ou marques) associs chaque place

Remarque: On suppose que les places sont dune capacit infinie

Le marquage, un instant t, du rseau correspond au nombre de jetons


dans chaque place.

P1
M:P N
T1
M = [2, 1]
P2

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
P1 P1

T1 T1
P2 P2
T6 T6
T2 T2
P3 P4 P3 P4

T3 T4 T3 T4

P5 P5 P5 P5

T5 T5

P7 P7
a - RdP non marqu b - RdP marqu

Le marquage un instant t dfinit ltat du systme dcrit par le RdP.


Remarque : Le marquage dun RdP est numrique (nombre entier) alors que celui
dun Grafcet est boolen (tat actif ou inactif) M = [1,0,1,0,0,2, 0]
cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011
Modlisation et Simulation des
Systmes de Production
Franchissement de transition

Avant franchissement Aprs franchissement

P1 P2 P1 P2

T1 T1
P3 P4 P3 P4

Transition valide T1 (RdP Ordinaire) : Chacune des places en amont de T1


contient au moins une marque.
Franchissement dune transition valide T1 :
- on retire, une marque a chacune des places en amont de T1.
- on ajoute une marque a chacune des places en aval deT1.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Exemple dun systme

Calculateur 1
Une mmoire commune
Deux calculateurs:
Na pas besoin de la mmoire
Mmoire Demande la mmoire
commune Utilise la mmoire

Calculateur 2

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Exemple dun systme : modle RdP de ce systme

Mmoire Graphe orient bipartie:


libre Transitions (t1-t6)
p1 p7 p4
Places (p1-p7) contiennent
un nombre non-ngatif de
t1 t4 jetons
p2
p5 Arcs liant deux sommets de
nature diffrente
t6
t3
Smantique
p3
t2 t5
p6 Transitions reprsentent les
vnements
Marquage des places
Calculateur 1 Calculateur 2 reprsente ltat du systme

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Fonctionnement du systme

Le marquage du rseau volue au


Mmoire cours du franchissement des
libre
p1 p7 p4
transitions
Le franchissement dune
transition est fonction des
t1 t4
conditions des ressources des
p5
p2 places amont
t3
t6 Une transition est dite valide,
t2 t5
dans un marquage, si, dans
p6
p3 chaque place amont le nombre
de jetons est au moins gal au
poids de larc sortant
Calculateur 1 Calculateur 2

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Fonctionnement du systme

Le
Lefranchissement
marquage duderseau
la transition
volue
Mmoire valide consiste :
libre au cours du franchissement des
p1 p7 p4
transitions

Enlever des jetons dune
Le franchissement des places
transition
t1 t4
amont
est fonction des conditions au
(le nombre est gal despoids
p5
de larc amont)
ressources des places amont
p2

Ajouter des jetons
Une transition auxvalide,
est dite places dans
aval
t6
t3 (le nombre estsi,gale
un marquage, dansau poids de
chaque
t2 t5
p6
larc
placeaval)
amont nombre de jetons est
p3
au moins gal au poids de larc
sortant
Calculateur 1 Calculateur 2

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
RdP gnralis et ordinaire

Un rseau dans lequel le poids affect chaque arc est gal 1 est
un rseau de Petri lmentaire (ordinaire).
Un Rseau de Petri dans lequel le poids de certains arcs est
suprieur 1 est un Rseau de Petri Gnralis

P1 P1

2
Ta Ta
3
P2 P3 P2 P3

W:A N+ W:A {0, 1}

rseau de Petri gnralis rseau lmentaire

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Validation dune transition : RdP gnralis

Une transition est valide si chacune des places en entre de la


transition contient au moins autant de jetons que le poids affect
larc reliant la place la transition.

P1 P1
P2 P2

2 2

T1 T1

P3 P3

T1 valide T1 non valide

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Franchissement de transition

Le franchissement dune transition consiste enlever de chacune


des places amont un nombre de marques gal au poids de larc
reliant cette place la transition franchie.

P1 P1
P2 P2

2 2
Franchissement de T1
T1 T1

P3 P3

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Franchissement de transition

Aprs franchissement dune transition on rajoute dans chacune


des places aval un nombre de jetons gal au poids de larc reliant
cette place la transition franchie.

P1 P1
P2 P2

2 2
Franchissement de T1
T1 T1

P3 P3

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Franchissement de transition

Marquage avant Franchissement


P1

P2
M0 = [1, 2, 0]

T1

P3

Dfinition : marquage atteignable


Un marquage quelconque Ma est dit atteignable partir de M0 ssi il existe une squence de tir s
qui de M0 permet dobtenir le marquage M0. On appelle A(R, M0) lensemble de tous les
marquages atteignables depuis M0.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Franchissement dune transition

Marquage avant Franchissement


P1

P2
M0 = [1, 2, 0]
Marquage aprs Franchissement
2

T1
M1 = [1, 0, 1]
P3
En t0, il y avait 3 jetons dans le
rseau ; en t0 + t, il y en a 2.

Attention: Il ny a pas de principe de conservation des jetons. Le nombre de jetons


produits nest pas li au nombre de jetons consomms.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
RdP gnralis : synthse

T1 non valide T1 valide

P1 P2 P1 P2 P
1 P2
3 3 3
T1 T1
2 T1
2 2
P3 P3
P4 P3
P4 P4

Avant Aprs
franchissement franchissement

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
T1 et T2 sont franchissables.
2
Hypo H1 : le moniteur choisit T1
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4

T2
2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
T1 et T2 sont franchissables.
2
Hypo H1 : le moniteur choisit T1
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]

T2
2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
T1 et T2 sont encore franchissables.
2
On peut continuer sur cette branche .
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
T1 et T2 sont encore franchissables
2
Hypo H2 : le moniteur choisit T1
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
T1 et T2 sont encore franchissables
2
Hypo H2 : le moniteur choisit T1
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Revenons un pas en arrire.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Revenons un pas en arrire.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H3 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H3 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H3 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Revenons deux pas en arrire.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Revenons deux pas en arrire.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Revenons deux pas en arrire.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H4 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H4 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2

2
Hypo H4 : le moniteur choisit T2
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
Seule, T1 est franchissable.
2
Continuons sur cette dernire branche.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
Seule, T1 est franchissables.
2
Continuons sur cette dernire branche.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
[1, 3, 1, 3, 2]
P5

Cest le mme vecteur !

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Graphe de marquage

P1

P2
Seule, T1 est franchissables
2
Continuons sur cette dernire branche.
T1

[2, 5, 1, 4, 0]
P3
T1 T2
P4
[2, 3, 2, 4, 0] [1, 5, 0, 3, 2]
T1 T2
T1
T2
[2, 1, 3, 4, 0] [1, 3, 1, 3, 2] 2
P5

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
RdP autonome

P1 T1 P2
Printemps t

T4 T2

P4 T3 P3
hiver automne

Cycle des saisons

Un RdP autonome dcrit le fonctionnement dun systme qui volue de faon


autonome. c'est--dire dont les instants de franchissement ne sont pas connus
on pas indiqus.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
RdP non autonome

P1 T1 P2
Printemps t
21 mars
21 dcembre T4 T2 21 juin

P4 T3 P3
hiver automne
21 septembre

Cycle officiel des saisons

Un RdP non autonome dcrit le fonctionnement d'un systme dont lvolution


est conditionne par des vnements externes ou par le temps. Un RdP non
autonome est synchronis et/ou temporis

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Structure particulire

Graphe dvnements
Un graphe dvnements est un RdP tel que chaque place a exactement une
transition dentre et une transition de sortie.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Structure particulire

Graphe dtats
Un graphe dtats est un RdP tel que chaque transition a exactement
une place dentre et une place de sortie.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Dfinition : RdP pur

Dans une boucle lmentaire, une place P est la fois place dentre et de sortie dune transition

Exemple
t1

t3

t2

Un RdP pur est u RdP sans boucle lmentaire.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
RdP arcs inhibiteurs

Un RdP arcs inhibiteur est un doublet <R, F> avec :


R = Rseau gnralis
F = ensemble darcs inhibiteurs de poids unitaire.
Une transition ti est sensibilise ssi, en plus des rgales habituelles, il nexiste aucune marque
dans des places dentre relies ti par un arc inhibiteur. Les marquages obtenus
aprs franchissement de la transition ti sont identiques au cas des rseaux de Petri gnraliss.
t1
Exemple : 1
2
2
t1
4 1
4

2
2
t2
t2
5
4 5
4
3
3 3
3

RdP arcs inhibiteurs : t1 non tirable, t2 tirable. RdP arcs inhibiteurs : t1 tirable, t2 non tirable.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Modlisation et Simulation des
Systmes de Production
Exemple dapplication : arcs inhibiteurs

Cahier des charges :

Une administration fait entrer ces clients puis ferme la porte dentre avant de commencer
le service.
Au fur et mesure quils sont servis les clients sortent par une autre porte.
La porte dentre ne sera r-ouverte que lorsque tous les clients qui taient entrs seront sortis.

cole Nationale des Sciences Appliques de Tanger GIND : 2010-2011


Chapitre 2 Proprits lies au
marquage
3.1 Bornage
3.1.1 Place borne pour M0
Une place p dun RdP est dite borne pour un marquage initial M0, ssi :

Mi A(R, M0 ), k N * tq Mi (p) k
Mi(p) est le nombre de marques (ou jetons) dans p et lentier positif k est
appel borne de p (on dit que p est k borne).
3.1.2 Rseau born pour M0
Pour un marquage initial M0, un RdP est born ssi
toutes ses places sont bornes pour M0. Autrement dit, un RdP est born pour
M0 ssi p, M A(R, M0), un entier k M(p) k. Lentier positif k est la valeur
maximum des bornes de lensemble des places du rseau.
(le rseau est k-born si toutes les places sont k-bornes).

Modlisation & Simulation des SP


2010-2011 44
Proprits lies au
marquage
3.1 Bornage

De faon quivalente, cela signifie que Mi aucune place ne contient plus de k


marques.
Exemple

p1
p1
t6
t1 t1

p2 t5 p2 t4
p3
p4 t3
t2 t2 t3

t4 p4
p3

RdP born par k = 3 RdP non born

Modlisation & Simulation des SP


2010-2011 45
Proprits lies au
marquage
3.1 Bornage

Remarque : La notion de bornage ainsi dfinie nest pas une proprit structurelle car
elle dpend du marquage initial M0. Donc, un rseau born pour M0, peut parfaitement
tre non born pour '
M0 M0
Exemple :
M0 = (0, 1)
M0 = (1, 0)

t1 t1
p1 p1

p2 p2

Fig a : RdP non born Fig a : RdP born

Modlisation & Simulation des SP


2010-2011 46
Proprits lies au
marquage
3.1 Bornage

La notion de bornage exprime le fait que le nombre dtats que peut prendre le
systme est fini. Dans le cas contraire, le nombre dtats est infini parce que certains
paramtres sont non borns : par exemple, on utilise un buffer de taille
Non spcifie, un producteur dpose des objets dans un entrept dont la taille nest pas
fixe

Modlisation & Simulation des SP


2010-2011 47
Proprits lies au
marquage
3.2 Rseau sauf pour M0
Un RdP est dit sauf (ou binaire) pour un marquage initial M0, si et seulement si il est born
par k=1. Autrement dit si pour chaque marquage accessible, chaque place contient au plus
une marque. Un RdP sauf est un cas
particulier du RdP bron dont toutes les places sont 1 borne.
Exemple : Le RdP ci-aprs est-il-sauf ?

p1

t1

p2 p3
t2 t3
p4 p5

t4

Modlisation & Simulation des SP


2010-2011 48
Proprits lies au
marquage
3.3 Vivacit
Certains systmes (on peut penser par exemple aux systmes dexploitation ou
des systmes de contrle de procd) se doivent de ne pas perdre de
fonctionnalits en cours de vie. Il sagit de garantir quaucune action ne peut
devenir dfinitivement inaccessible.

Dfinition :
Une transition Ti est vivante pour un marquage initial M0 ssi
M A(R, M0), une squence de franchissement s comprenant la
transition Ti et tirable partir de M.
Dfinition : Un RdP est dit vivant pour un marquage initial M0 si toutes ses transitions
sont vivantes pour M0.

Autrement dit, si un RdP est vivant, cela signifie que, quelle que soit lvolution, aucune
transition ne deviendra dfinitivement infranchissable. On dit quun RdP est conforme
sil est sauf et vivant

Modlisation & Simulation des SP


2010-2011 49
Proprits lies au
marquage
3.3 Vivacit

Exemple : Les RdP de la figure a et b sont ils vivants

p1 p1

t1
t1
p2
p2
t2
t2 p3
fig. a t3

fig. b

Modlisation & Simulation des SP


2010-2011 50
Proprits lies au
marquage
3.4 quasi-Vivacit

Cette fois on veut exprimer le fait que toutes les actions spcifies peuvent tre
excutes au moins une fois. Dans le cas contraire, ce la signifie quil existe des
fonctionnalits du systme auxquelles on na pas accs.

Dfinition :
Une transition est quasi vivante pour un marquage initial M0, sil existe
une squence de franchissement qui contient Tj, partir de M0.
Un RdP est quasi vivant si toutes ses transitions sont quasi-vivantes.

Modlisation & Simulation des SP


2010-2011 51
Proprits lies au
marquage
3.4 quasi-Vivacit

Exemple :

p1 p1
t1 t2 t1 t2
p2 p3 p2 p3
t3 t3 t4
p4 p4 p5
t4 t5 t6

fig. a RdP quasi-vivant avec blocage fig. b RdP quasi-vivant sans blocage

Modlisation & Simulation des SP


2010-2011 52
Proprits lies au
marquage
3.5 pseudo-Vivacit
Dfinition :
Un RdP est dit pseudo-vivant pour un marquage initial M0 si
M A(R, M0), t T t.q M[ t >.

Autrement dit, Un RdP est pseudo-vivant ssi tout marquage accessible


admet un successeur.
Exemple : t3
p1
t5
t1

t6 p2
p4 t2

t4 p3
fig. RdP pseudo-vivant

Modlisation & Simulation des SP


2010-2011 53
Proprits lies au
marquage
3.6 Blocage
Dfinition :
Un rseau de Petri est sans blocage si partir de tout marquage accessible, il existe au
moins une transition franchissable : M A(R, M0), t T tq
M[t>. Dans le cas contraire, tout marquage accessible partir duquel on ne peut pas
tirer aucune transition est appel marquage mort.

Exemple : p1

t1 t2

p2 p3
t3

p4
t4
Fig a : RdP avec blocage
Modlisation & Simulation des SP
2010-2011 54
Proprits lies au
marquage
Remarque :
Les proprits de vivacit et de blocage dpendent de faon vidente
du marquage initial.
M0 = (1, 0, 0, 0) M0 = (0, 0, 1, 0)
Exemple :

t1 t2 t2
t1
p2 p3 p2 p3
t3 t3
p4 p4
t4 t4
fig. a RdP quasi-vivant avec blocage fig. b RdP non quasi-vivant sans blocage

Modlisation & Simulation des SP


2010-2011 55
Proprits lies au
marquage
3.6 Rinitialisation

On caractrise ici le fait que le systme peut toujours se replacer dans un tat donn,
qui est dit tat daccueil. Si le marquage initial est un tat daccueil, cela signifie que
lon peut toujours rinitialiser le systme

3.6.1 Etat daccueil pour M0


Un marquage atteignable Ma est appel tat daccueil pour M0 si et seulement si Mi
A(R, M0) il existe une squence de tir s telle que Mi [s>Ma.
3.6.2 Rseau rinitialisable pour M0
Un RdP est rinitialisable pour un marquage initial M0 si M0 est un tat daccueil.

Modlisation & Simulation des SP


2010-2011 56
Proprits lies au
marquage
3.6 Rinitialisation
Exemple :
p1
p1 t2
t1 p3 t1 p3

p2 p2
t2 t3 t5

p4 t4 p4

t3 t6

Fig. a: RdP non rinitialisable Fig. b: RdP rinitialisable


conforme (sauf et vivant) born (sauf ) et pseudo-vivant

Modlisation & Simulation des SP


2010-2011 57
Proprits lies au
marquage
3.7 Persistance
3.4.1 Rseau persistant pour M0
Sil existe pour Mi A(R, M0) au moins deux transitions ti et tj sensibilises (ou valides),
le RdP sera dit persistant si et seulement si ti et tj peuvent tre franchies (ou tires)
dans nimporte quel ordre (rversibilit). Cest la notion conceptuellement importante
de conflit et de partage de ressources.

Exemple :

p1 p2 p3 p1 p2 p3

ti tj ti tj

Fig. a : Rseau de Petri persistant Fig. b : Rseau de Petri non persistant

Modlisation & Simulation des SP


2010-2011 58
Proprits lies au
marquage
3.8 Conflits

Dfinition :
Un conflit structurel correspond un ensemble dau moins 2 transitions
t1 et t2 qui ont une place dentre en commun. On note ceci

K = [pi , {t1, t2, .} ].


Dfinition :
Un conflit effectif est lexistence dun conflit structurel, K, et dun
marquage, M, tel que le nombre de marques dans pi est infrieur au
nombre de transitions de sortie de pi qui sont valides par M.
Ce conflit effectif est reprsent par un triplet
Ke = [pi , {t1, t2, .}, M ].

Dfinition :
Un RdP est sans conflit effectif pour un marquage initial M0, si pour
tout marquage accessible M A(R, M0) il ny a pas de conflit effectif

Modlisation & Simulation des SP


2010-2011 59
Proprits lies au
marquage
3.8 Conflits

Exemple 1 :
p1 p1 p2 p3

t1 t2
t1 t2
Conflit effectif
Pas de conflit effectif

p1 p1

t1 t2
t1 t2

Pas de conflit effectif conflit effectif, persistance


Modlisation & Simulation des SP
2010-2011 60
Proprits lies au
marquage
3.8 Conflits

Exemple 1 : partage de ressource

Calculateur 1
Une mmoire commune
Deux calculateurs:
Na pas besoin de la mmoire
Mmoire Demande la mmoire
commune Utilise la mmoire

Calculateur 2
Modlisation & Simulation des SP
2010-2011 61
Proprits lies au
marquage
3.8 Conflits

Exemple 1 : partage de ressource

Mmoire
libre
p1 p7 p4

t1 t4
p5
p2

t6
t3

t2 t5
p3 p6

Calculateur 1 Calculateur 2

Modlisation & Simulation des SP


2010-2011 62
Proprits lies au
marquage
3.8 Conflits

Exemple 1 : partage de ressource


Mmoire
libre
p1 p7 p4

t1 t4
p5
p2

t6
t3

t2 t5
p3 p6

Calculateur 1 Calculateur 2

Modlisation & Simulation des SP


2010-2011 63
Proprits lies au
marquage
3.8 Conflits

Exemple 1 : partage de ressource


Mmoire
libre
p1 p7 p4

t1 t4

p5
p2

t6
t3

t2 t5
p6
p3

Calculateur 1 Calculateur 2

Modlisation & Simulation des SP


2010-2011 64
Proprits lies au
marquage
Exercice dapplication
p1 p1 p1
2 3
t1 t4 t1 t4 t1 t4
p2 p2 p2
t3 p3 t3 p3 t3 p3
t2 t2 t2
B C
A
p1 p1 p1
3
2
t1 t1 t1 t4
t4 t4
p2 p2 p2
t3 t3 t3 p3
t2 p3 t2 p3 t2
D E F

Modlisation & Simulation des SP


2010-2011 65
Proprits lies au
marquage
Exercice dapplication 1

Rseaux Bornage vivacit rinitialisation conflit


A
B
C
D
E
F

Modlisation & Simulation des SP


2010-2011 66