Introduction RDP PDF

3- Les Rseaux de Petri
Plan |Accueil |Contact |

3-1 Notions de Base |3-2 RdP Particuliers |3-3 Proprits |3-4 Graphe et Arborescence |3-5 Algbre Linaire |3-6 T.P |
3-1 Notions de Base
3-1-1 Dfinition d'un RdP
Un rseau de Ptri est un moyen de:
modlisation du comportement des systmes dynamiques vnements
discrets.
description des relations existantes entre des conditions et des vnements.
3-1-2 Places, transitions et arcs
Un Rdp est compos de places, transitions et arcs :

Une place est reprsente par un cercle

Une transition par un trait:

Un arc relie soit une place une transition

soit une transition une place.
3-1-1 Dfinition d'un RdP 3-1-6 Marquages accessibles
3-1-2 Places, transitions et arcs 3-1-7 Graphe de marquages
3-1-3 Marquage 3-1-8 RdP autonome et non autonome
3-1-4 Franchissement d'une transition 3-1-9 Testez vos connaissances
3-1-5 Squence de franchissement
Haut de page
Page 1sur 7
20/04/2007 http://www.tn.refer.org/hebergement/cours/sys_disc/notions_de_base_RdP.html

3-1-3 Marquage
Chaque place contient un nombre entier positif ou nul de marques ou jetons. Le marquage M dfinit l'tat du systme
dcrit par le rseau un instant donn. C'est un vecteur colonne de dimension le nombre de places dans le rseau. Le
i
me
lment du vecteur correspond au nombre de jetons contenus dans la place P
i
.

Exemple 1 :marquage

Exemple 2 :marquage

Exemple 3 :marquage

3-1-4 Franchissement d'une transition
Haut de page
Haut de page
Page 2sur 7
Une transition est franchissable lorsque toutes les places qui lui sont en amont (ou toutes les places d'entre de la
transition) contiennent au moins un jeton.

Exemple 4 : Franchissement d'une transition

T
2
ne peut pas tre franchie car P
2
ne contient aucun jeton.

Le franchissement consiste retirer un jeton de chacune des places d'entre et rajouter un jeton chacune des places
de sortie de la mme transition.


Avant f r anchi ssement : Apr s f r anchi ssement :

Le franchissement de T
1
consiste enlever un jeton de P
1
et un
jeton de P
2
et rajouter un jeton dans P
3
et un jeton dans P
4
.


Avant f r anchi ssement : Apr s f r anchi ssement :

1
consiste enlever un jeton de P
1
et
ajouter un jeton chacune des places P
2
, P
3
et P
4
.

Une transition franchissable n'est pas forcment immdiatement franchie.

Une transition sans place d'entre est toujours franchissable : c'est une transition source.

Exemple 7: transition source

Page 3sur 7

Le franchissement d'une transition source consiste rajouter un jeton chacune de ces places de sortie.

Une transition sans place de sortie est une transition puits.

Exemple 8: transition puits

Le franchissement d'une transition puits consiste retirer un jeton de chacune de ses places d'entre.
3-1-5 Squence de franchissement
Une squence de franchissement S est une suite de transitions T
i
T
j
T
k
qui peuvent tre franchies successivement
partir d'un marquage donn. Une seule transition peut tre franchie la fois.

On note : ou : partir du marquage M
i
, le franchissement de la squence S aboutit au
marquage M
j
.

Exemple 9: squence de franchissement

T
1
T
2
et T
1
T
3
sont deux squences de franchissement:
et avec et
Haut de page
Page 4sur 7
3-1-6 Marquages accessibles
L'ensemble des marquages accessibles est l'ensemble des marquages M
i
qui peuvent tre atteint par le franchissement
d'une squence S partir du marquage initial M
0
.
On le note
*
M
0
.

Exemple 10 : ensemble des marquages accessibles

avec ; ;
et
3-1-7 Graphe de marquages
On utilise le graphe de marquages quand le nombre de marquages accessibles est fini.

Exemple 11 : graphe de marquages

Le graphe de marquage correspondant:
Haut de page
Haut de page
Page 5sur 7

3-1-8 RdP autonome et non autonome
Un RdP autonome dcrit le fonctionnement d'un systme dont les instants de franchissement ne sont pas connus ou
indiqus.

Exemple 13 : RdP autonome

Le moment de passage de l't l'automne est inconnu.

Un RdP non autonome dcrit le fonctionnement d'un systme dont l'volution est conditionne par des vnements
externes ou par le temps. Un RdP non autonome est synchronis et/ou temporis.
3-1-9 Testez vos connaissances
Haut de page
Haut de page
Page 6sur 7
Page 7sur 7
3-1 Notions de Base |3-2 RdP Particuliers |3-3 Proprits |3-4 Graphe et Arborescence |3-5 Algbre
Linaire |3-6 T.P |
3-2 RdP Particuliers
3-2-1 Graphe d'tat
Un rseau de Ptri non marqu est un graphe d'tat si et seulement si toute transition a exactement
une seule place d'entre et une seule place de sortie.

Exemple 14 : graphe d'tat

Chacune des transitions T
1
, T
2
, T
3
, T
4
et T
5
possde une seule place d'entre et une seule place de
sortie.
3-2-2 Graphe d'vnement
Un RdP est un graphe d'vnement si et seulement si chaque place possde exactement une seule
transition d'entre et une seule transition de sortie.

Exemple 15 : graphe d'vnement

3-2-1 Graphe d'tat 3-2-6 RdP pur
3-2-2 Graphe d'vnement 3-2-7 RdP gnraliss
3-2-3 RdP sans conflit 3-2-8 RdP capacits
3-2-4 RdP choix libre 3-2-9 RdP priorits
3-2-5 RdP simple 3-2-10 Testez vos connaissances
Haut de page
Page 1sur 6
20/04/2007 http://www.tn.refer.org/hebergement/cours/sys_disc/RdP_particuliers.html

3-2-3 RdP sans conflit
Un Rdp sans conflit est un rseau dans lequel chaque place a au plus une transition de sortie.
Un RdP avec conflit est un rseau qui possde donc une place avec au moins deux transitions de
sorties. Un conflit est not: [P
i
, {T
1
,T
2
,,T
n
}] ; avec T
1
,T
2
,,T
n
tant les transitions de sorties de
la place P
i
.

Exemple 16 :

3-2-4 RdP choix libre
Un RdP est choix libre est un rseau dans lequel pour tout conflit [P
i
, {T
1
,T
2
,,T
n
}] aucune des
transitions T
1
,T
2
,,T
n
ne possde aucune autre place dentre que P
i
.

Exemple 17 :
Haut de page
[P1 , {T1,T2}]
Haut de page
Page 2sur 6

3-2-5 RdP simple
Un Rseau de Ptri simple est un RdP dans lequel chaque transition ne peut tre concerne que par
un conflit au plus.

Exemple 18 :

3-2-6 RdP pur
Un RdP pur est un rseau dans lequel il nexiste pas de transition ayant une place dentre qui soit
la fois place de sortie de cette transition.

Exemple 19 :

Haut de page
Haut de page
Page 3sur 6

3-2-7 RdP gnraliss
Un RdP gnralis est un RdP dans lequel des poids (nombres entiers strictement positifs) sont
associs aux arcs.

Si un arc ( P
i
,T
j
) a un poids k : la transition T
j
n'est franchie que si la place P
i
possde au moins k
jetons. Le franchissement consiste retirer k jetons de la place P
i
.

Si un arc ( T
j
,P
i
) a un poids k : le franchissement de la transition rajoute k jetons la place P
i
.

Lorsque le poids nest pas signal, il est gal un par dfaut.

Exemple 20 :RdP gnralis
Haut de page
Avant franchissement : Aprs franchissement :

Page 4sur 6
3-2-8 RdP capacits
Un RdP capacits est un RdP dans lequel des capacits (nombres entiers strictement positifs) sont
associes aux places. Le franchissement dune transition dentre dune place P
i
dont la capacit est
cap(Pi) nest possible que si le franchissement ne conduit pas un nombre de jetons dans P
i
qui est
plus grand que Cap(P
i
).

Exemple 21 :

1
conduit 3 jetons dans P
2
d'o T
1
ne peut plus tre franchie.
3-2-9 RdP priorits
Dans un tel rseau si on atteint un marquage tel que plusieurs transitions sont franchissables, on doit
franchir la transition qui a la plus grande priorit.

Exemple 22 : RdP priorit
Haut de page
Haut de page
Avant franchissement : Aprs franchissement :
Page 5sur 6

Haut de page
Page 6sur 6
3-1 Notions de Base |3-2 RdP Particuliers |3-3 Proprits |3-4 Graphe et Arborescence |3-5 Algbre Linaire |3-
6 T.P |
3-4 Graphe de marquages & Arborescence de couverture
3-4-2 Arborescence de couverture
On utilise le graphe de marquages quand le nombre de marquages accessibles est fini.
Exemple 34 : graphe des marquages

Do le graphe de marquage correspondant :

Les proprits dtermines partir de ce graphe des marquages sont :
deux blocages M
2
et M
3

2-born
non vivant
quasi-vivant
non rinitilisable

Page 1sur 4
20/04/2007 http://www.tn.refer.org/hebergement/cours/sys_disc/Graphe_arborescence.html
Exemple 35: graphe des marquages

Do le graphe de marquages correspondant :
Les proprits dtermines partir de ce graphe des marquages sont :
sauf
sans blocage
rinitialisable : a un tat daccueil M
0

2 squences rptitives : T
1
T
2
T
3
T
4
et T
1
T
3
T
2
T
4
.
3-4-2 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. D'o le recourt au graphe dit de couverture. Cest un graphe nombre de
marquages fini.

Algorithme de construction dun graphe de marquage

Pas 1 :
Haut de page
Page 2sur 4
A partir du marquage initial M
0
indiquer toutes les transitions valides et les marquages accessibles successeurs
correspondants.
Si un des marquages est strictement suprieur M
0
, on met la variable "w" pour chacune des composantes
suprieures aux composantes de M
0
.

Pas 2 :
Pour chaque nouveau marquage M
i
, on fait soit le pas 2.1 soit le pas 2.2 suivants :
Pas 2.1 :
Sil existe sur le chemin de M
0
jusqu M
i
(ce dernier exclut) un marquage M
j
=M
i
alors M
i
na pas de
successeurs.

Pas 2.2 :
Sinon, on prolonge le graphe avec les successeurs M
k
(M
i
) : Une composante "w" de M
i
reste une composante "w"
de M
k
. Sil existe un marquage M
j
sur le chemin de M
0
M
k
tel que M
k
>M
j
, alors on met "w" pour chacune des
composantes suprieures aux composantes de M
i
.

Remarques :
Le marquage symbolique "w" dsigne un nombre de jetons dans une place Pi qui peut atteindre un nombre trs
grand (l'infinie). Il reprsente en effet une infinit de marquages possibles.

Les oprations sur "w" sont :

Exemple 36 : graphe de couverture

T
1
est une transition source, franchissable un nombre infini de fois. D'o le recours au graphe de couverture.

A partir du marquage initial M
o
=(0), seule la transition T
1
est franchissable : M
o
(T
1
>M
1
=(1). M
1
est suprieur
M
o
donc M
1
=(w).
A partir de M
1
, les deux transitions T
1
et T
2
sont franchissables :
Si on franchit T
1
: M
2
=(w+1)=(w)=M
1
donc M
2
n'a plus de successeurs.
Si on franchit T
2
: M
3
=(w-1)=(w)=M
1
donc M
3

D'o le graphe de marquage correspondant :
Page 3sur 4

Exemple 37 : graphe de couverture

d'o le graphe de marquage correspondant :

M
0
(T
1
>M
1
=(0,1,1)
M
1
(T
2
>M
2
=(0,0,0) : c'est un blocage
M
1
(T
3
>M
3
=(1,0,1) ; M
3
>M
0
donc M
3
=(1,0,w)
M
3
(T
1
>M
4
=(0,1,w)
M
4
(T
2
>M
5
=(0,0,w) : c'est un blocage
M
4
(T
3
>M
3
=(1,0,w) : donc M
4
Haut de page
Page 4sur 4
3-1 Notions de Base |3-2 RdP Particuliers |3-3 Proprits |3-4 Graphe et Arborescence |3-5 Algbre
Linaire |3-6 T.P |
3-5 Algbre Linaire
3-5-1 Notations et dfinitions
3-5-2 Equation fondamentale ou quation
d'tat
3-5-1 Notations et dfinitions
" pr ( P
i
, T
j
) " est le poids "k" de l'arc reliant une place une transition.

" post ( P
i
, T
j
) " est le poids "k" de l'arc reliant une transition une place .

on appelle "matrice d'incidence avant" :

on appelle "matrice d'incidence arrire" :

on appelle "matrice d'incidence " :

Dans ces matrices les transitions reprsentent les colonnes et les places reprsentent les
lignes.
pr (P
i
, T
j
) =
k
si l'arc (P
i
, T
j
) existe
0 sinon
post (P
i
, T
j
) =
k
si l'arc (T
j
, P
i
) existe
0 sinon
Page 1sur 3
20/04/2007 http://www.tn.refer.org/hebergement/cours/sys_disc/algebre.html
3-5-2 Equation fondamentale ou quation d'tat
Soit S une squence de franchissement ralisable partir d'un marquage M
i
: M
i
[S >M
k

Soit S le vecteur caractristique de la squence S : c'est un vecteur de dimension m gale au nombre
de transitions dans le rseau. Sa composante numro j correspond au nombre de fois o la transition
T
j
est franchie dans la squence S.
Exemple si S=T
2
T
4
T
1
T
4
T
2
T
4
alors S=[1, 2, 0, 3]
T

Si la squence de franchissement S est tel que M
i
[S >M
k
alors l'quation fondamentale
correspondante s'crit :

Exemple 38 : quation fondamentale

Soit la squence S=T
1
T
2
donc S =[1, 1, 0, 0]
T

Haut de page
la matrice
d'incidence avant:
la matrice d'incidence
arrire:
la matrice d'incidence:
Page 2sur 3

L'quation fondamentale correspondante cette squence est :


Haut de page
Page 3sur 3

Introduction RDP PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Introduction RDP PDF

Încărcat de

Drepturi de autor:

Formate disponibile

3- Les Rseaux de Petri

Plan |Accueil |Contact |

S-ar putea să vă placă și