Documente Academic
Documente Profesional
Documente Cultură
.
.
.
.
3
3
4
4
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
8
9
11
11
11
11
12
12
12
13
13
13
13
14
14
15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapitre
Notations
et
franchissement
1.1
rgles
de
1.2
Marquages
Chaque place (pi ) dun RdP peut contenir un ou plusieurs marqueurs (jetons). La configuration complte du rseau, avec toutes les marques positionnes, forme le marquage et dfinit
ltat du rseau (et donc ltat du systme modlis).
1.3
Franchissement
Cest le formalisme qui permet de passer dun marquage un autre, ce qui rend compte de
lvolution du systme modlis. Une transition est franchissable si chacune des places en
entre compte au moins un jeton ; dans ce cas :
- le franchissement est une opration indivisible (atomique)
- un jeton est consomm dans chaque place en entre
- un jeton est produit dans chaque place en sortie
Exemples :
1.4
Rseaux particuliers
i. Les graphes dtat : chaque transition ne dispose que dune place en entre et une
place en sortie.
ii. Les rseaux sans conflit : chaque place na quune transition en sortie.
iii. Les rseaux dits simples : rseaux avec conflit, o chaque transition nintervient au
plus que dans une situation de conflit.
iv. Graphes purs : aucune place nest la fois en entre ou en sortie de la mme transition.
Chapitre
1
0
C = 1 ; C + = 0
0
1
(2.1)
Ainsi, avec cette notation, pour un marquage M , une transition ti est tirable si et seulement
si : M i C , o i C est le vecteur colonne i de la matrice C .
2.1
Un marquage sera dit accessible si on peut latteindre partir du marquage initial, soit directement (avec un seul tir), soit indirectement (avec plusieurs tirs).
On note A lensemble des marquages accessibles dun rseau de
Petri.
Exemple (prcdent) : A = M0 , M1 , M2
Le graphe des marquages accessibles :
Application :
Considrons le rseau de Petri suivant :
Soit T = (k1 , k2 ), on a :
1
0
C = P r =
0
1
0
1
0
1
; C + = P ost =
1
1
0
0
0
0
0
1
; C = C+ C =
1
0
1
1
avec M0 = (1, 1, 0, 4)
On peut avoir les autres marquages accessibles, exemple :
M0 [t1 >M1 car [1, 1, 0, 4] > [1, 0, 0, 1]
8
0
0
1
1
(2.2)
2.2
Ainsi, partir dun marquage M , on peut tirer une squence de transitions , et on trouve
le marquage M 0 .
Lquation de changement dtat est alors donne comme suit :
M 0 = M + C ~
9
Squence de franchissement
Graphe de marquage
10
2.3
2.3.1
Bornitude
2.3.2
Pseudo-vivacit
2.3.3
Quasi-vivacit
11
2.3.4
Vivact
2.3.5
Un RdP est dit sans blocage sil na pas de marquage puits (mort).
Exemple :
M1 (aprs franchissement de t2 )
est un blocage
2.3.6
Etat daccueil
12
2.3.7
Conservation
M0 (pi ) =
2.4
2.4.1
2.4.2
13
M (pi )
2.4.3
2.4.4
Graphe de marquage
2.5
Arborescence de couverture
Un graphe de marquage ne peut plus tre construit quand le rseau est non born c.--d.
quand le nombre de marquages accessibles est infini. Do le recours au graphe de couverture.
Cest un graphe nombre de marquages fini.
14
2.5.1
Pas 1 : partir du marquage initial M0 , indiquer toutes les transitions valides et les marquages accessibles successeurs correspondants.
Si un des marquages est strictement suprieur M0 , on met la variable "w" pour chacun des
composantes suprieures aux composantes de M0 .
Pas 2 : Pour chaque nouveau marquage Mi , on fait soit le pas 2.1, soit le pas 2.2
Pas 2.1 : Sil existe sur le chemin de M0 jusqu Mi (exclu) un marquage Mj = Mi ,
alors Mi na pas de successeur.
Pas 2.2 : Sinon, on prolonge le graphe avec les successeurs Mk (Mi ) : une composante "w" de Mi reste une composante de "w" de Mk .
Sil existe un marquage Mj sur le chemin de M0 Mk tel que Mk > Mj , alors on
met "w" pour chacune des composantes suprieure aux composantes de Mi .
Oprations sur "w" (nombre trs grand)
(
n N; n <
n+w+w+n=w+w =w
wn=w
quation fondamentale
Exemple :
15
1
0
C = 0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
1
1 ; C + = 1
0
1
0
1
0
0
0
1
0
0
0
0
0
1
1
1
0
1
0 ; C = C + C = 1
0
0
0
0
0
1
0
1
0
0
0
1
0
1
(2.3)
1
1
0 1
M2 = 0 + 1
0 0
0
0
0
1
0
1
0
0
0
1
0
1
0
1
1
1
1
0
1 0 0 0
0 0 = 0 + 1 = 1
1 0 0 1 1
0
0
0
0
1
Graphe de marquages :
Proprits :
sauf
sans blocage
rinitialisable : M0 est un tat dacceuil
2 squences rptitives : T1 T2 T3 T4 et T1 T3 T2 T4
16
(2.4)
1
0
1
1
t1 est une transition source, franchissable un nombre infini de fois, do le recours au graphe
de couverture. partir de M0 = (0), seule t1 est franchissable :
M0 [t1>M1 = (1); M1 est suprieure M0 , donc M1 = (w)
partir de M1 , t1 et t2 sont franchissables :
on tire t1 : M2 = (w + 1) = M 1 = M 2 na plus de successeur
on tire t2 : M3 = (w 1) = (w) = M1 = M3 na plus de successeur
17