Rapport RDP Réseau de Petri

INTRODUCTION GENERALE ..
Chapitre
1:
INTRODUCTION
ptri.4
AUX
Rseaux
de
Introduction
5
I.
Dfinitions et gnralits6
1. Dfinition dun rseau de Petri.6

2. Marquage ...6
3. Rseaux de Petri gnraliss 7
4. Franchissement d'une transition..8
5. Matrice dincidence C.. 10
6. Evolution du marquage 10
7. Squence de franchissement..10
8. Quelques types des transitions..12
9. Graphe des marquages dun RdP 13
10. Rseau de Petri autonome et non autonome. .14
II.
Rseaux de Petri particuliers.14
1. Graphe dtat .....14
2. Graphe d'vnement..14
3. RdP avec conflit et sans conflit..15
4. RdP choix libre15
5. RdP simple..16
6. RdP pur16
7. RdP capacits.. 17
8. RdP priorits ...17
9. RdP born18
III.
Quelques proprits des rseaux de Petri..18
1. Vivacit et blocage :18
2. Invariants.19
3. Arborescence de couverture...20
IV.
Rseaux de Petri non autonome..22
1. Rseaux de Ptri synchroniss (RdPS)..22
2. Rseaux de Petri temporiss...27
Chapitre 2 : Rseaux de petri & valuation des performances des

rseaux NGN31
I.
Vue
densemble
des
rseaux
NGN ..33
1. Le Rseau de Nouvelle Gnration (NGN)33
2. Pourquoi Le NGN ?............................................................................................................33
3. Types de NGN.. .33
RdP & valuation des performances de rseaux NGN
Page 1
4. Architecture NGN34
5. NGN Tlphonie.35
6. NGN Multimdia38
Page 2
Page 3
INTRODUCTION GENERALE
Dans le cadre des objectifs assigns daprs le module : Modlisation des valuations des
performances des rseaux, assur par M. KAFHALI, on est se charg de faire une recherche sur le
sujet: Rseaux de Petri et valuation des performances des rseaux NGN, vue que ce thmatique
porte une grande utilit dans le domaine des rseaux et tlcommunications. En effet, un lev
ingnieur en Rseaux et Tlcoms est concern par la connaissance de ses notions de base qui lui
permettent denrichir son vocabulaire et par la suite dtre capable dexploiter ces acquis dans sa vie
professionnelle.
Les Rseaux de Petri (RdP) est un outil qui permet de modliser des systmes squentiels. Carl
Adam Petri (1926-2010) a dfini un outil mathmatique trs gnral permettant de dcrire les
relations existant entre des conditions et des vnements et de modliser le comportement de
systmes dynamiques vnements discrets. Cest un outil trs gnral, modlisant aussi bien les
protocoles de communication informatiques (exp rseaux NGN) que des systmes de production.
Les rseaux de la prochaine gnration (NGN ou Next Generation Network en anglais), avec leur
architecture rpartie, exploitent pleinement des technologies de pointe pour offrir de nouveaux
services sophistiqus et augmenter les recettes des oprateurs tout en rduisant leurs dpenses
dinvestissement et leurs cots dexploitation. Ils sont comme un rseau de transport en mode paquet
permettant la convergence des rseaux Voix/donnes et Fixe/Mobile; ces rseaux permettront de
fournir des services multimdia accessibles depuis diffrents rseaux daccs.
Notre recherche est labore en deux chapitres ; le premier est consacr lintroduction aux
rseaux de Petri : dfinitions et notions de base, alors que le deuxime est rserv aux rseaux NGN :
vue densemble et valuations de leurs performances laide des RdP.
Page 4
Page 5
Chapitre 1 :
INTRODUCTION AUX Rseaux de petri
Page 6
Introduction
Carl Adam Petri (n le 12 juillet 1926 Leipzig et mort le 2 juillet 2010 Siegburg) est
un mathmaticien allemand et un informaticien, qui fut professeur honoraire (Ehrenprofessor) de
l'Universit de Hambourg.
Petri a invent les rseaux de Petri en 1962 dans une partie de sa thse de
doctorat : Kommunikation mit Automaten (Communication par les automates) l'universit
technologique de Darmstadt. Il participa de manire significative l'avancement du calcul parallle et
du calcul distribu, et aida la dfinition de concepts modernes tels que les systmes complexes et le
management de workflow. Il se retira officiellement en 1991.
Ses contributions se situent dans le domaine large de la thorie des rseaux, ce qui inclut les modles
de coordination et la thorie de l'interaction, et le conduisit finalement vers l'tude formelle de la
connexion de logiciels.
Les Rseaux de Petri (RdP) permettent de modliser des systmes squentiels. Petri a dfini un outil
mathmatique trs gnral permettant de dcrire les relations existant entre des conditions et des
vnements et de modliser le comportement de systmes dynamiques vnements discrets. Cest un
outil trs gnral, modlisant aussi bien les protocoles de communication informatiques que des
systmes de production. Il est lorigine du Grafcet (ce dernier tant spcialis dans la description de
la commande de systmes automatiss).
Les principaux utilisateurs de ces rseaux sont les informaticiens et les automaticiens. Cependant
cest un outil assez gnral pour modliser des phnomnes trs varis. Il permet notamment :
la modlisation des systmes informatiques,
lvaluation des performances des systmes discrets, des interfaces homme-machine,
la commande des ateliers de fabrication,
la conception de systmes temps rel
la modlisation des protocoles de communication,
la modlisation des chaines de production (de fabrication),
...
en fait, tout systme dans lequel circule objets et information.
Les atouts des RdP :
ils permettent de dcrire de manire prcise mais non formelle la structure dun systme,
ils offrent un support graphique de conception,
Page 7
ils permettent de dcrire un systme tape par tape, en dcomposant en lments plus
simples les lments constitutifs initiaux du systme,
ils permettent de dcrire à laide dun mme support de base, la fois la structure et la
dynamique dun systme,
ils permettent de passer dune description graphique dun systme une description formelle
permettant lanalyse mathmatique du systme (cohrence)
V.
Dfinitions et gnralits
11. Dfinition dun rseau de Petri

Un rseau de Petri ( RdP) est un graphe biparti dont on particularise les deux familles de
sommets : les places et les transitions.
Les places sont reprsentes par des cercles, tandis que les transitions sont reprsentes par des
traits ou des rectangles :
Une place
Une transition
Un arc relie soit une

place une
transition
Soit une transition

une place
Remarque :
Comme dans tout graphe biparti, un arc ne relie jamais deux sommets de la mme famille.
Notation :
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 un instant donn)
1. Marquage
Chaque place Pi 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
Page 8
nombre de places dans le rseau. Le ime lment du vecteur correspond au nombre de jetons
contenus dans la place Pi.
Exemples :
Exemple dun rseau de Petri place_transtion :
2. Rseaux de Petri gnraliss

Un rseau de Petri gnralis est un rseau dans lequel les valuations des arcs ne sont pas
forcment gales 1. Un rseau de Petri ordinaire est un rseau dont le graphe sous-jacent est un 1graphe (c.--d. tous les arcs du rseau ont un poids gal 1).
Un rseau de Petri gnralis est un quadruplet R tel que :
R = (P, T, Pre, Post) avec :

P : ensemble des places du rseau ;
T : ensemble des transitions du rseau ;
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 arrire, de P T dans N.
p P, t T, Post (p, t) = v (t, p) si (t, p) G, 0 sinon.`

Page 9
A chaque application dincidence est associe une matrice |P | |T |.
Exemple :
Soit P = {1; 2; 3; 4; 5} et T = {a; b; c; d; e}.
Soient Pre (places avant les transitions) et Post (places aprs les transitions) :
Graphe du rseau :
3. Franchissement d'une transition

Une transition est dite franchissable si chacune de ses dentre contient un nombre de jetons
suprieur ou gal celui indiqu sur la flche correspondante :
Avec
1 (t ) reprsente les places situes en amont de la transition t.
Page 10
Remarque :
Si le graphe est non valu , dans ce cas on dit quune transition est franchissable (ou tirable) lorsquil y
a au moins un jeton dans chacune de ses places en entre.
Chaque place de
1 (t 2)
contient plus de jetons que la valuation de larc la
reliant t2.
M(p2) v(p2, t2)
On dit que t2 est franchissable (tirable , valide). Si lon tire t2, le marquage des
places de
1 (t 2)
et de
( t 2)
va tre modifi :
M (p2)
M (p2) v (p2, t2)
M (p3)
M (p3) + v (t2, p3)
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.
Page 11
4. Matrice dincidence C
La matrice d'incidence C est dfinie par C = POST- PRE. tant donne une transition t, Cpt est le
nombre de jetons qui seront ajouts (ou retirs si le nombre est ngatif) la place p si la transition t est
franchie.
Exemple :
5. Evolution du marquage
Soit N = (R, M) un RdP marqu de transitions T et de places P. Le franchissement dune transition t de
T valide 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.
6. Squence de franchissement
Page 12
On sintresse lvolution du rseau lors du tir successif de plusieurs transitions.

Lorsque M[t1 > M1[t2 > M2, on dit que la squence de transitions t1 t2 est franchissable depuis le
marquage M.
On note M[t1t2 > M2.
Dfinition :
Une squence de franchissement est un mot construit sur lalphabet T des transitions de T. On note
une squence de franchissements.
Exemple :
= t1t2 et M[ > M2
Pour caractriser une squence de franchissements , on utilise son image commutative
Exemple :
Chaque composante de limage commutative est le nombre doccurrences de la transition

correspondante dans .
Exemple :
Thorme : Equation dtat

Soit une squence finie de transitions tirable depuis un marquage M dun rseau R de matrice
dincidence C.
On a:
M[ > M1 M1 = M + C
Remarque :
-
Il sagit dune condition ncessaire mais pas suffisante : il se pourrait que ne soit pas
franchissable depuis M !
Page 13
Deux tapes pour calculer un marquage :

ddmontrer que le marquage valide la squence ;
calculer le marquage rsultat.
Application :
Soit le RdP suivant :
La squence t1t2t1 est franchissable dans

le rseau marqu N = (R, M0) avec :
1. Exprimer ?
2. On a M0[ > M. Calculer M ?
Rponse :
(21 )
1.
2.
M =M o + C
.
avec :
Ce qui donne le nouveau marquage :
7. Quelques types des transitions

Transition source :
Une transition source ts dun rseau de Petri (R, M0) est une transition de T telle que 1
ts) = .
Autrement dit : Une transition source est transition sans place d'entre.
Transition puits :
Une transition puits tp dun rseau de Petri (R, M0) est une transition de T telle que (tp) = .
Autrement dit : Une transition puits est transition sans place de sortie.
Page 14
Remarque :
- Une transition source est toujours franchissable.
- Le franchissement d'une transition source consiste rajouter un jeton chacune de ces
places de sortie.
- Le franchissement d'une transition puits consiste retirer un jeton chacune de ces
places dentre.
8. Graphe des marquages dun RdP
Le graphe des marquages d'un RdP not (R; M0) : est un graphe orient dont les nuds sont
les marquages de A(R; M0), et chaque arc relie un marquage un autre qui est immdiatement
accessible par une transition : si, un arc
M0 t M
est trac de M0 M1et il est marqu avec
t.
Exemple :
Soit le RdP suivant :
Son graphe de marquage est donn comme suite :
Page 15
9. Rseau de Petri autonome et non autonome :

a- RdP autonome
Un RdP autonome dcrit le fonctionnement d'un systme dont les instants de franchissement ne sont
pas connus ou indiqus.
Exemple :
Dans ce rseau le moment de
est
b- RdP
non
Un RdP non autonome dcrit le

systme dont l'volution est
vnements externes ou par le
autonome est synchronis et/ou
VI.
passage de lt lautomne
autonome
fonctionnement
conditionne
par
temps.
Un
RdP
temporis.
d'un
des
non
Rseaux de Petri particuliers

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 :
Page 16
Chacune des transitions T1, T2, T3, T4 et T5 possde une seule place d'entre et une seule place
de sortie.
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 :
3. RdP avec conflit et 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: [Pi, {T1 ,T2 ,,Tn}] ; avec T1,T2,,Tn tant les transitions de sorties
de la place Pi.
Exemple :
Page 17
4.
RdP choix libre
Un RdP est choix libre est un rseau dans lequel pour tout conflit [Pi, {T1,T2,,Tn}] aucune
des transitions T1,T2,,Tn ne possde aucune autre place dentre que Pi.
Exemple :
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 :
6. RdP pur
Page 18
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 :
7.
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 Pi dont la
capacit est cap(Pi) nest possible que si le franchissement ne conduit pas un nombre de jetons
dans Pi qui est plus grand que Cap(Pi).
Exemple :
Le franchissement de T1conduit 3 jetons dans P2 d'o T1ne peut plus tre franchie.
8. 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 :
Avant franchissement
Aprs franchissement
Page 19
9. RdP born
Une place Pi est borne pour un marquage initial M0 si pour tout marquage accessible partir de
M0, le nombre de marques dans Pi reste born. Elle est dite k-borne si le nombre de marques
dans Pi est toujours infrieur ou gal k.
Un RdP marqu est (k) born si toutes ses places sont (k) bornes.
Exemple :
RdP Non born

Un RdP marqu peut ne pas tre born : sur lexemple reprsent ci-dessus, la transition T1 admet
la place P1 comme unique place dentre. La place P1a une marque : la transition T1 est
franchissable. Comme P1 est aussi place de sortie de T1, le franchissement de T1 ne change pas le
marquage de P1. La transition T1 est donc franchissable en permanence et peut donc tre franchie
un nombre de fois infini. Chaque franchissement de T1 ajoutant une marque dans la place P2, le
marquage de celle-ci peut donc tendre vers linfini.
Remarque :
Un RdP marqu est dit sauf pour un marquage initial M0 sil est 1-born.
VII.
Quelques proprits des rseaux de Petri
4. Vivacit et blocage :
Page 20
Lvolution du marquage dun RdP se fait par franchissement de transitions. Lorsquau cours de son
volution, certaines transitions ne sont jamais franchies, cela indique que lvnement associ la
transition ne se produit pas et que le marquage dune partie du RdP nvolue pas. Cela indique que le
sous-systme modlise par cette partie-l ne fonctionnera pas. Il y a donc un problme au niveau de la
conception du systme. Lide est dtre capable de dtecter systmatiquement ce phnomne par
lanalyse de proprits du modle RdP du systme afin de disposer dun outil daide la conception
des systmes.
Dfinition :
Une transition Tj est vivante pour un marquage initial M0 si pour tout marquage accessible Mk, il
existe une squence de franchissements partir de Mk contenant Tj :
Si une transition Tj est vivante alors, tout instant, on sait que Tj peut tre franchie dans le futur.
Dans le cas dun RdP modlisant un systme fonctionnant en permanence, si une transition nest pas
vivante et si une fonction du systme est associe au franchissement de cette transition, cela veut dire
qu partir dun certain instant, cette fonction ne sera plus disponible dans le futur, ce qui peut traduire
une erreur ou une panne.
RdP vivant
Les transitions T1 et T2 du RdP
a:
marqu sont vivantes : pour ce RdP on
Un RdP marqu est vivant pour un

transitions
Sont vivantes pour ce marquage initial.
vivant.
marquage initial M0 si toutes ses

Un RdP est dit conforme sil est sauf et
Dfinition :
Un blocage (ou tat puits) est un marquage pour lequel aucune transition est valide. Un RdP marqu
est dit sans blocage pour un marquage initial M0 si aucun marquage accessible est un blocage.
Le RdP marqu : a pour blocage le marquage
Page 21
5. Invariants
A partir dun marquage initial, le marquage dun RdP volue par franchissements de transitions. En
labsence de blocage, le nombre de franchissements de transitions et le nombre de marquages
effectivement ralises sont illimites. Il est donc difficile dtudier les squences de transition et les
marquages accessibles simplement par exemple en entreprenant une numration.
On est donc amener dfinir des invariants caractrisant certaines proprits des squences de
transitions et des marquages accessibles quel que soit lvolution.
Dfinition :
Soit R un Rseau de Ptri et P lensemble de ses places. On a un invariant de marquage sil existe un
ensemble de places
que :
et un vecteur dentiers naturels appel vecteur de pondrations q tels
P est appel composante conservative. Un RdP est conservatif si et seulement si P= P.

Remarque :
La proprit composante conservative est indpendante du marquage initial M0. Par contre, la
valeur de la constante dpend de M0.
Composante rptitive
Il sagit ici dtudier le comportement cyclique de lvolution de certains RdPs.
Dfinition :
On appelle squence rptitive stationnaire, une squence de franchissements
S telle que :
M0 |S > M0
La squence est dite complte si elle contient toutes les transitions du RdP. On appelle squence
rptitive croissante, une squence de franchissements S telle que
On appelle squence rptitive dcroissante, une squence de franchissements S telle que :
On appelle composante rptitive lensemble T0 des transitions de T apparaissant dans la squence S.

Le RdP est dit rptitif si T = T.
6. Arborescence de couverture
Page 22
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.
Un graphe de couverture est presque la mme chose qu'un graphe de marquage. La diffrence se situe
lors d'un graphe qui implique une infinit de jetons. Si une transition cre un jeton chaque fois
qu'elle est traverse et qu'on peut rpter cette transition, nous allons donc faire un graphe de
couverture pour reprsenter la progression du graphe.
Algorithme de construction dun graphe de marquage
Pas 1 :
A 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 chacune 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 suivants :
Pas 2.1 :
Sil existe sur le chemin de M0 jusqu Mi (ce dernier exclut) un marquage Mj = Mi alors Mi na pas
de successeurs.
Pas 2.2 :
Sinon, on prolonge le graphe avec les successeurs Mk (Mi) : Une composante "w" de Mi reste une
composante "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 suprieures aux composantes de Mi.
Remarque :
-
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 :
Soit le graphe suivant :
Page 23
T1 est une transition source, franchissable un nombre infini de fois. D'o le recours au graphe de
couverture.
A partir du marquage initial Mo=(0), seule la transition T1est franchissable : Mo(T1>M1=(1). M1est
suprieur Mo donc M1=(w).
A partir de M1, les deux transitions T1et T2 sont franchissables :
Si on franchit T1: M2=(w+1)=(w)= M1donc M2 n'a plus de successeurs.
Si on franchit T2: M3=(w-1)=(w)= M1donc M3 n'a plus de successeurs.
D'o le graphe de marquage correspondant :
VIII.
Rseaux de Petri non autonome
Lvolution du RdP va maintenant dpendre de loccurrence dvnements externes ou du temps. Par

simplicit, on se concentrera sur lextension des RdPs ordinaires, mme si cela peut sappliquer aux
RdPs gnraliss.
3. Rseaux de Ptri synchroniss (RdPS)

Dans les modlisations RdPs que nous avons vues dans les chapitres prcdents, le fait quune
transition soit franchissable indique que toutes les conditions sont runies pour quelle soit
effectivement franchie. Le moment o se produira le franchissement nest pas connu. Un RdP
synchronis est un RdP o chaque transition est associe un vnement. La transition sera alors
franchie si elle est valide mais quand lvnement associ se produit.
1.1 vnements associs une variable logique
Un vnement est un front montant ou un front descendant dune variable logique. un vnement na
pas de dure : il est caractrise par linstant o il se produit
Page 24
Notation : a
Chronogramme de la variable logique a
(front montant) a
a .b= a ).b
(front descendant)
Est un vnement qui se produit en mme temps que
a si b = 1 ;
ici le : dsigne et ;
-
a +b ici le ( a + b dsigne ou ;
a .
b est un vnement qui se produit quand
et
se produisent
simultanment.
Cela nest possible que si a et b ne sont pas indpendants, du fait de lhypothse suivante.
Hypothse :
Deux vnements indpendants ne se produisent jamais simultanment :
a . b=0 si a et b sont
indpendants.
Proprits :
Avec e lvnement toujours occurrent :
o a dsigne non a. Avec a, b et c indpendants :
Pour un systme donn, un vnement est dit externe sil correspond un changement du monde
extrieur au systme.
1.2 Dfinition dun Rseau de Ptri Synchronis
Exemple :
Atelier de coupe Sur le modle RdP de latelier de coupe, il est naturel dassocier le franchissement de
la transition T1 larrive dune nouvelle commande
Page 25
Celle-ci correspond un vnement extrieur not E1.
Atelier de coupe
Dfinition :
On appelle Rseau de Ptri Synchronis le triplet < R;E; Sync > o
R est un Rseau de Ptri marqu ;
E est un ensemble dvnements externes ;
Sync :
T E {e } o
- T est lensemble des transitions de R.

- e est lvnement toujours occurrent1.
Le RdP est totalement Synchronis si aucune transition nest associe e.
Dans un RdP synchronis, une transition valide nest pas forcement franchissable. La transition est
valide quand la condition sur les marquages est satisfaite. Elle deviendra franchissable quand
lvnement externe associ la transition se produit : elle est alors immdiatement franchie. Si en
fonction du marquage de ses places dentre, plusieurs franchissements sont possibles, un seul se
produira effectivement, celui dont lvnement associ se produit en premier.
Exemples de franchissements de transition :
Sur le RdP synchronis reprsent sur la figure 1.1, au temps t = 0, la transition T1est valide. Le
franchissement de la transition T1seffectue au temps t = 10 quand lvnement E1 se produit.
Sur le RdP synchronis reprsent sur la figure 1.2, au temps t = 0, la transition T1est valide. Son
marquage est suffisant pour pouvoir franchir T1deux fois. Le franchissement de la transition T1
seffectue au temps t = 10 quand lvnement E1 se produit. On nimpose quun seul franchissement
de cette transition la fois.
Sur le RdP synchronis reprsent sur la figure 1.3, au temps t = 0, la transition T1est valide. Le
franchissement de la transition T1seffectue au temps t = 10 quand lvnement E1 se produit
Lvnement E1 est aussi 2 associe la transition T2. Comme la transition T2 ntait pas valide au
moment o l vnement E1 se produit, T2 nest pas franchie.
Sur le RdP synchronis reprsent sur la figure 1.4, au temps t = 0, la transition T1 est valide. Le
franchissement de la transition T1seffectue au temps t = 5 quand l vnement E1 se produit.
Page 26
La transition T2 est franchie au moment de la seconde occurrence de lvnement E1soit au temps t =

15. Le marquage du RdP synchronis volue donc dans le temps de la faon suivante :
-
1
Pour t allant de 0 5, M1 = 0
0
0
Pour t allant de 5 15, M2 = 1
0
0
Pour t allant de 15 ` a 20, M3 = 0
1
Le RdP synchronis reprsent sur la figure 1.5 est similaire celui de la figure 1.4 sauf que
lvnement associ la transition T2 est e lvnement toujours occurrent. Aprs le franchissement
de la transition T1, la transition T2 est valide. Comme lvnement toujours occurrent y est associ,
la transition T2 est alors immdiatement franchie. Le marquage M2 a donc une dure nulle.
On parle de marquage instable ( opposer ` a marquage stable). On peut dfinir un graphe des
marquages stables : dans celui-ci, on passe directement du marquage M1 au marquage M3 par
franchissement de la squence T1 T2: on parle dun franchissement itr sur occurrence de
lvnement E.
Il est possible de construire un modle RdP synchronis dans lequel un marquage stable peut ne pas
tre accessible par le franchissement dun nombre fini de transitions, voir Figure 8.8. Ici, aprs
occurrence de lvnement E1, il nest pas possible dobtenir un marquage stable. Dans la suite du
chapitre, nous supposerons que pour les RdPs synchronises considrs, un marquage stable est
forcment atteint aprs franchissement dun nombre fini de transitions.
FIG 1.1
FIG 1.2
Page 27
FIG 1.3
FIG 1.4
FIG 1.5
1.3 Proprits des RdPs synchroniss
Les notions de bornitude et de vivacit peuvent se gnraliser aux RdPs synchroniss. Un RdP
synchronis est born si, pour tout marquage stable et instable, il est born. Une transition Tj est
vivante si pour tout marquage accessible, il existe une squence dvnements externes telle que Tj
soit franchie. Si on considre le RdP autonome associe au RdP synchronis, peut-on dduire les
proprits de lun partir de lautre ?
Proprit :
-
Un RdP synchronis est born pour un marquage initial M0 si le RdP autonome associ est
born pour le marquage initial M0.
Page 28
La rciproque nest pas forcement vraie.
4. Rseaux de Petri temporiss

Le comportement de ces modles dpend du temps. Ils permettent dvaluer les performances
temporelles dun systme. Par exemple, il peut sagir dvaluer le temps dexcution dune srie
doprations (par exemple dans un procde de fabrication industriel) en fonction de la capacit des
machines et/ou des stocks, etc.
Exemple :
Atelier de coupe Sur le modle RdP de latelier de coupe, la prsence dun jeton
Dans la place P3 correspond au traitement dune commande par la machine de coupe. La dcoupe ellemme durera un certain temps d3. Quand une marque est introduite dans la place P3 (deut de
dcoupe), pour modliser ce phnomne, il est ncessaire de bloquer la marque dans la place P3
pendant au moins un temps d3 (voir Figure 2.1). Pendant ce laps de temps, la marque nest pas
disponible pour la validation de la transition T3. On parle alors de marque indisponible. La place est
dote dune temporisation de dure d3, cest-à-dire, le laps de temps Quil est nncessaire pour que
la marque devienne disponible pour la validation de sa transition de sortie.
Dfinition :
On appelle Rseau de Petri P-temporis le doublet < R; Tempo > o :
R est un Rseau de Petri marqu ;

Tempo : P Q+ o :
-
Q+ est lensemble des nombres rationnels positifs ou nuls ;

Tempo(Pi) est la temporisation associe la place Pi.
FIG 2.1
Page 29
FIG 2.2 : Atelier de coupe
Dans un RdP P-temporis, quand une marque est dexpose dans la place Pi, elle reste indisponible
pendant un temps de Tempo(Pi). Une fois ce temps coul, elle devient disponible. Pour dterminer si
une transition est valide, ne sont pris en compte que les marques disponibles. Le marquage initial est
suppos disponible au temps 0. Le franchissement dune transition valide est suppos de dure nulle.
Dans lexemple reprsent Figure 2.1, quand la marque de la place P1 est devenue disponible, la
transition T3 a t valide. On a nanmoins attendu 8 units de temps avant de la franchir. Dans la cas
o dès quune transition est valide, elle est immdiatement franchie, on parle de fonctionnement
vitesse maximale. Pour lexemple prcdent, si on associe la temporisation
d1 la place P1, cela donnerait levolution3 reprsente Figure 2.2.
Proprit :
Pour un RdP P-temporis, le fonctionnement vitesse maximale conduit un fonctionnement
priodique au bout dun temps fini pour tout marquage initial tel que le RdP P-temporis soit born.
Il est intressant de caractriser ce fonctionnement priodique.
Dfinition :
La frquence de franchissement Fj > 0 dune transition Tj est dfinie comme
le nombre moyen de franchissements de Tj par unit de temps lorsque le fonctionnement priodique
est tabli.
Soit W (W+) la matrice dincidence (arrire) associe (s) au RdP. Soient fi les q P-semi flots
lmentaires associes W. Soit D la matrice diagonale telle que Dii = di o di est la temporisation
associe a la place Pi. Alors le vecteur F = [Fj] de frquences de franchissement est :
Exemple
Page 30
On considre le fonctionnement dune entreprise de location de voitures. Cette entreprise a deux types
de clients :
chacun des N1 clients de type 1 utilise une voiture pendant une dure d1 ; le temps moyen entre
deux demandes est de dd1 ;
chacun des N2 clients de type 2 utilisent une voiture pendant une dure d2 ; le temps moyen entre
deux demandes est de dd2. N0 reprsente le nombre de voitures de lentreprise. Aprs chaque retour
de location, la voiture passe au garage pour entretien pour une dure de. On ddsire ddterminer la
dure d0 minimale
Dattente dune voiture aprs entretien et avant location.
Entreprise de location de voitures

Le fonctionnement de cette entreprise est reprsent par le RdP P-temporis ci-dessus. Les matrices
dincidence (arrire) sont donnes par :
Les P-semi flots sont dtermin partir de lquation :
Page 31
Par suite, tout P-semi flot secrit : Par suite,
Le fonctionnement le plus rapide est obtenu avec :
Et
Remarque1 :
Dans lexemple prcdent, on est dans un mode de fonctionnement o :
Ce mode de fonctionnement est appel fonctionnement en vitesse propre. Dans celui-ci, une marque
reste dans une place quun temps gal la temporisation associe cette place. Il nest pas possible
pour tout RdP P-temporis. Cest un cas particulier du fonctionnement vitesse maximale.
Remarque2 :
De manire similaire aux RdPs P-temporiss, il est possible de ddfinir des RdPs T-temporiss : les
temporisations sont associs aux transitions au lieu dtre associs aux
Places. On peut toujours construire pour un RdP T-temporis un RdP P-temporis quivalent.
Page 32
Chapitre 2 :
Rseaux de petri & valuation des performances des rseaux NGN
Page 33
Introduction
Depuis de nombreuses annes, lindustrie des tlcommunications cherche
orienter sa technologie de manire aider les oprateurs demeurer
comptitifs dans un environnement caractris par la concurrence et la
drglementation accrue. L es rseaux de la prochaine gnration (N GN ou Next
Generation Network en anglais), avec leur architecture rpartie, exploitent
pleinement des technologies de pointe pour offrir de nouveaux services
sophistiqus et augmenter les recettes des oprateurs tout en rduisant leurs
dpenses dinvestissement et leurs cots dexploitation. Lvolution dun rseau
existant vers cette nouvelle structure ncessitera une stratgie de migration
progressive visant rduire au minimum les dpenses dinvestissement pendant
la phase de transition, tout en tirant parti trs tt des avantages quelle
prsente. Toute dmarche entreprise lors de cette tape de transition devra
simplifier lvolution du rseau vers larchitecture NGN commutation de
paquets. Pendant plusieurs annes encore, les services de commutation
traditionnels vont devoir coexister avec des lments de rseau mettant en
uvre de nouvelles technologies.
Page 34
II.
Vue densemble des rseaux NGN
7. Le Rseau de Nouvelle Gnration (NGN)
Les NGN sont dfinis comme un rseau de transport en mode paquet permettant la convergence
des rseaux Voix/donnes et Fixe/Mobile; ces rseaux permettront de fournir des services multimdia
accessibles depuis diffrents rseaux daccs. Afin de sadapter aux grandes tendances qui sont la
recherche de souplesse dvolution de rseau, la distribution de lintelligence dans le rseau, et
louverture des services tiers, les NGN sont bass sur une volution progressive vers le tout IP et
sont modliss en couches indpendantes dialoguant via des interfaces ouvertes et normalises
8. Pourquoi Le NGN ?
Dans certaines parties du monde, le trafic de donnes prend rapidement le pas sur le trafic vocal et
la tendance est nettement laugmentation en bande passante pour les donnes, tandis que la voix peut
suffire de la mme bande passante (64 kbit/s), voire dune moindre.
Les oprateurs possdant les deux types de rseaux (rseau voix et rseau de donnes) utilisent cet
argument pour commencer les unifier. Il est clair daprs les limites du rseau TDM (Time Division
Multiplexing) que le rseau de donnes survivra alors que le rseau
TDM quittera la scne. Facteur non moins important : le nouveau besoin chez les usagers dune
varit encore plus grande dapplications et de services sophistiqus (e.g. Push-to-talk, confrence
audio et
vido, messagerie unifie, chat) dont la plupart ntaient mme pas envisags lors de la conception des
rseaux actuels. Pour les oprateurs, laccs et le transport ne sont plus assez lucratifs et, pour rester
comptitif, il leur faudra donc offrir aux usagers toute une gamme de services utiles, faciles utiliser
et rmunrateurs. Par consquent, les NGN seront axs sur les services, et fourniront tous les moyens
ncessaires pour en offrir de nouveaux et adapter les existants pour augmenter les recettes.
Les oprateurs entrants (e.g., oprateurs ADSL) pourront envisager dinvestir dans une solution
demble NGN. Pour un oprateur tabli, limportant est de dfinir les conditions de migration de leur
rseau tlphonique commut actuel vers le NGN.
9. Types de NGN
Il existe trois types de rseau NGN : NGN class 4, NGN Class 5 et NGN Multimdia.
Les NGN Class 4 et Class 5 sont des architectures de rseau offrant uniquement les services de
tlphonie. Il sagit donc de NGN tlphonie. Dans le RTC, un commutateur class 4 est un centre de
transit. Un commutateur Class 5 est un commutateur daccs aussi appel centre autonomie
dacheminement. Le NGN class 4 (resp. NGN class 5) mule donc le rseau tlphonique au niveau
transit (resp. au niveau accs) en transportant la voix sur un mode paquet.
Page 35
Le NGN Multimdia est une architecture offrant les services multimdia (e.g., messagerie
vocale/vido, confrence audio/vido, Ring-back tone voix/vido) puisque l'usager a un terminal IP
multimdia. Cette solution est plus intressante que les prcdentes puisquelle permet loprateur
dinnover en termes de services par rapport une solution NGN tlphonie qui se cantonne offrir des
services de tlphonie.
Le Class 4 NGN permet :
-
Le remplacement des centres de transit tlphoniques (Class 4 Switch)

La croissance du trafic tlphonique en transit
Le Class 5 NGN permet :

-
Le remplacement des centres tlphoniques daccs (Class 5 Switch)

La croissance du trafic tlphonique laccs
La voix sur DSL/ Voix sur le cble
Le Multimedia NGN permet doffrir des services multimdia des usagers disposant dun accs large
bande tel que xDSL, cble, WiFi/WiMax, EDGE/UMTS, etc.
10. Architecture NGN
La topologie du rseau NGN sarticule autour de 6 couches (Figure 1):
Couche Terminal : Elle contient lensemble des terminaux permettant lutilisateur dtablir et
recevoir des appels. Couche Accs : Elle relie les usagers au rseau et regroupe leur trafic. Elle
contient les lments de rseau existant chez loprateur laccs tels que les commutateurs
tlphoniques daccs, les PABX, les boucles locales, les BTS / BSC, Les NodeB / RNC,etc.
Couche Transport : Elle transporte le trafic destination. La couche transport utilise la
technologie IP (Internet Protocol) ou ATM (Asynchronous Transfer Mode). Loffre NGN des
constructeurs sappuie aujourdhui sur une couche de transport bases sur ATM directement
ou IP.
Couche Adaptation : Elle conditionne le trafic pour son transport sur le rseau. Par exemple, le
trafic vocal est conditionn en cellules ATM ou en paquets IP. Cette couche contient des
passerelles (MGW, Media Gateways) permettant linterfonctionnement entre la couche
daccs et la couche de transport.
Couche Contrle : Elle assure lintelligence dappel. Cette couche dcide quel service un
usager va recevoir. Elle contrle aussi dautres lments de rseau des couches infrieures,
leur indiquant quel traitement faire subir au trafic. Elle contient des contrleurs dappels
appels Media Gateway Controllers (MGC) puisquils pilotent les
MGWs de la couche dadaptation.
Couche Application : Elle fournit des services valeur ajoute par le biais de serveurs
dapplications. Seul le MGC peut sinterfacer avec ces serveurs pour inoquer des services.
La Gestion est transversale lensemble des couches. Chaque couche possde sa propre
gestion. Ainsi les lments dune couche donne sont vendus avec le systme de gestion qui
permet loprateur de superviser, grer et exploiter ces lments.
Page 36
Cette nouvelle topologie offre les avantages suivants :
Grce au NGN, loprateur dispose dun rseau multiservice permettant dinterfacer nimporte
quel type daccs (Boucle locale, PABX, Commutateur daccs tlphonique, accs ADSL,
accs mobile GSM ou UMTS, tlphone IP, etc.)
Loprateur naura plus terme qu exploiter un seul rseau multiservice.
Elle utilise le transport comme l IP ou l ATM ignorant les limites des rseaux TDM (Time
Division Multiplexing) 64 kbit/s. En effet le TDM perd son efficacit ds lors que lon souhaite
introduire des services asymtriques, sporadiques ou dbit binaire variable.
Cest une topologie ouverte qui peut transporter aussi bien les services tlphoniques que les
services de multimdia (vido, donnes temps rel).
Elle dissocie la partie support du rseau de la partie contrle, leur permettant dvoluer
sparment et brisant la structure de communication monolithique. En effet, la couche
transport peut tre modifie sans impact sur les couches contrle et application.
Elle utilise des interfaces ouvertes entre tous les lments, permettant l oprateur d acheter
les meilleurs produits pour chaque partie de son rseau.
11. NGN Tlphonie

VIII.1
Services dans le RTC vs Services dans le NGN Tlphonie
Dans le contexte du Rseau Tlphonique Commut, le commutateur ralise deux fonctions

essentielles :
La commutation de la voix (Media)
Le contrle de lappel (tablissement / libration dappel)
Les services valeur ajoute sont mis en uvre par le rseau intelligent travers les entits SCP
(Service Control Point) / SRP (Specialized Resource Point).
Les services complmentaires sont mis en oeuvre directement par le commutateur daccs
Page 37
(Class 5 Switch).
Dans le monde NGN, la commutation de la voix est ralise par le MGW entre le rseau tlphonique
commut et le rseau de transport du NGN. Dans le rseau de transport, ce sont les commutateurs
ATM / Routeurs IP qui assurent le transport de la voix paqutise jusquau MGW de sortie qui
commute la parole reconvertie, sur un circuit de parole sortant.
Le contrle de lappel (tablissement / libration dappel) est pris en charge par le MGC. Un MGC
Class 4 mule le point smaphore dun Class 4 Switch. Un MGC Class 5 mule le point smaphore
dun Class 5 Switch.
Les services valeur ajoute sont pris en charge par le SCP lgataire du rseau intelligent ou par un
serveur dapplication SIP et par un serveur de media (appel Multimedia Resource Function) qui
fonctionne en voix sur IP (il met des annonces vocales et collecte linformation de l usager sur des
canaux RTP/UDP/IP).
Page 38
VIII.2
Architecture NGN Tlphonie
La figure 4 montre un exemple darchitecture NGN Tlphonie. Les quipements existants

(e.g., commutateur daccs tlphonique ou BTS/BSC du rseau GSM) sont relis une couche de
transport IP ou ATM par le biais de MGWs (couche dadaptation). Ltablissement des canaux de
communication IP ou ATM entre les MGWs est la responsabilit du MGC appartenant la couche
contrle.
Le MGC est un serveur dappel qui contient lintelligence lie au contrle de lappel et pour ce faire
possde un modle dappel complet. Le MGC identifie les usagers, dtermine le niveau de service
pour chaque usager et lacheminement de trafic. Par ailleurs, il fournit toutes les informations
permettant la taxation des appels et la mesure des performances du rseau. Aussi, le MGC sinterface
aux serveurs dapplications. Le MGC a diffrentes appellations : LITU-T (International
Telecommunications Union Telecommunications Sector) le nomme Media Gateway Controller
(MGC), lIETF (Internet Engineering Task Force) qui normalise les aspects relatifs lInternet a
utilis le terme Call Agent initialement et lappelle dsormais MGC. Le Softswitch Consortium
considre le terme Softswitch. Enfin, dans les solutions des fournisseurs tels que Nortel et Ericsson, le
MGC est appel respectivement Call Server et Telephony Server.
Figure 4 : Exemple darchitecture NGN Tlphonie
Dans larchitecture NGN Tlphonie, le protocole de contrle tel que MGCP ou MEGACO ne fait que
dcrire les interactions entre le MGC et le MGW. Si un MGC doit contrler un MGW qui est sous la
responsabilit dun autre MGC, il est ncessaire que les MGCs schangent de la signalisation. Deux
protocoles de signalisation peuvent tre utiliss : SIP-T (Session Initiation Protocol for Telephones) et
BICC (Bearer Independent Call Control). SIP-T est une proposition de lIETF alors que BICC est
spcifi par lITU-T. La figure 5 montre linterface de contrle qui est mise en uvre par le protocole
MGCP ou MEGACO/H.248, et linterface de signalisation ralise par le protocole SIP-T ou BICC.
Page 39
Une fois la connexion tablie, le MGW convertira les signaux audio transports dans les circuits de
parole (terminaison circuit) en paquets IP qui seront transports dans le rseau IP (terminaison IP) ou
en cellules ATM dans le cas dun transport ATM.
Figure 5 : Protocoles de contrle (MGCP, MEGACO) versus protocoles de signalisation

(SIP-T, BICC).
12. NGN Multimdia
La figure 6 montre un exemple darchitecture NGN Multimdia aussi appel IMS (IP
Multimedia Subsystem).
L IMS introduit une nouvelle entit fonctionnelle dans le rseau, appele CSCF (Call State
Control Function). Elle joue le rle de Proxy Server SIP, et ses principales fonctions sont :
La localisation des usagers en traduisant l'adresse SIP de destination en une adresse IP
Le routage des messages SIP pour l'tablissement, la modification et la libration de sessions
multimdias.
Le maintien des informations d'tat de la session afin de pouvoir invoquer les services souscrits par
les usagers, afin de contrler la session pendant sa dure de vie, et pour la facturation de la session.
Larchitecture IMS peut tre structure en couches. Quatre couches importantes sont identifies :
La couche Accs peut reprsenter tout accs haut dbit tel que : UTRAN (UMTS Terrestrial
Radio Access Network), CDMA2000 (technologie daccs large bande utilise dans les
rseaux mobiles aux Etats-Unis), xDSL, rseau cble, Wireless IP, WiFi, etc.
La couche Transport reprsente un rseau IP ou driv. Ce rseau IP pourra intgrer des
mcanismes de QoS avec MPLS, Diffserv, RSVP, etc. La couche transport consiste donc en
Page 40
des commutateurs / routeurs relis par un rseau de transmission. Diffrentes piles peuvent
tre considres pour le rseau IP: IP/ATM/SDH, IP/Ethernet, IP/SDH, etc.
La couche Contrle consiste en des contrleurs de session responsables du routage de la
signalisation entre usagers et de linvocation des services. Ces nuds sappellent des CSCF
(Call State Control Function). IMS Introduit donc un environnement de contrle de session sur
le domaine paquet.
La couche Application introduit les applications (services valeur ajoute) proposes aux
usagers. Loprateur peut se positionner grce sa couche CONTRLE en tant quagrgateur
de services offerts par loprateur lui-mme ou par des tiers. La couche application consiste en
des serveurs dapplication (AS, Application Server) et serveurs de mdia IP (IP MS, IP Media
Server). L IP Media Server est aussi appel MRF (Multimedia Resource Function).
Le domaine IMS doit inter fonctionner avec le RTCP/GSM afin de permettre aux utilisateurs IMS
d'tablir des appels avec le RTCP/GSM. L'architecture d'interfonctionnement prsente un plan de
contrle (signalisation) et un plan d'usager (transport). Dans le plan usager, des entits passerelles
(IMS-MGW, IMS - Media Gateway Function) sont requises afin de convertir des flux RTP en flux
TDM. Ces passerelles ne traitent que le mdia. Des entits sont responsables de crer, maintenir et
librer des connexions dans ces passerelles; il s'agit de contrleurs de passerelles (MGCF, Media
Gateway Control Function). Par ailleurs, ce mme MGC termine la signalisation ISUP du ct
RTC/GSM qu'il convertit en signalisation SIP qui est dlivre au domaine IMS.
Figure 6 : Exemple darchitecture NGN Multimdia
Page 41

Rapport RDP Réseau de Petri

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Rapport RDP Réseau de Petri

Transféré par

Droits d'auteur :

Formats disponibles

INTRODUCTION GENERALE ..

1. Dfinition dun rseau de Petri.6

Chapitre 2 : Rseaux de petri & valuation des performances des

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

ils offrent un support graphique de conception,

RdP & valuation des performances de rseaux NGN

11. Dfinition dun rseau de Petri

Un arc relie soit une

Soit une transition

T lensemble des transitions ;

RdP & valuation des performances de rseaux NGN

Exemple dun rseau de Petri place_transtion :

2. Rseaux de Petri gnraliss

R = (P, T, Pre, Post) avec :

p P, t T, Pre (p, t) = v (p, t ) si (p, t ) G , 0 sinon.

Post : application dincidence arrire, de P T dans N.

p P, t T, Post (p, t) = v (t, p) si (t, p) G, 0 sinon.`

A chaque application dincidence est associe une matrice |P | |T |.

3. Franchissement d'une transition

1 (t ) reprsente les places situes en amont de la transition t.

RdP & valuation des performances de rseaux NGN

contient plus de jetons que la valuation de larc la

RdP & valuation des performances de rseaux NGN

On sintresse lvolution du rseau lors du tir successif de plusieurs transitions.

Chaque composante de limage commutative est le nombre doccurrences de la transition

Thorme : Equation dtat

RdP & valuation des performances de rseaux NGN

Deux tapes pour calculer un marquage :

La squence t1t2t1 est franchissable dans

Ce qui donne le nouveau marquage :

7. Quelques types des transitions

est trac de M0 M1et il est marqu avec

Son graphe de marquage est donn comme suite :

RdP & valuation des performances de rseaux NGN

9. Rseau de Petri autonome et non autonome :

Un RdP non autonome dcrit le

Rseaux de Petri particuliers

RdP & valuation des performances de rseaux NGN

3. RdP avec conflit et sans conflit

RdP & valuation des performances de rseaux NGN

RdP choix libre

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

RdP Non born

RdP & valuation des performances de rseaux NGN

marqu sont vivantes : pour ce RdP on

Un RdP marqu est vivant pour un

marquage initial M0 si toutes ses

Le RdP marqu : a pour blocage le marquage

RdP & valuation des performances de rseaux NGN

et un vecteur dentiers naturels appel vecteur de pondrations q tels

P est appel composante conservative. Un RdP est conservatif si et seulement si P= P.

On appelle squence rptitive dcroissante, une squence de franchissements S telle que :

On appelle composante rptitive lensemble T0 des transitions de T apparaissant dans la squence S.

RdP & valuation des performances de rseaux NGN

RdP & valuation des performances de rseaux NGN

Rseaux de Petri non autonome

Lvolution du RdP va maintenant dpendre de loccurrence dvnements externes ou du temps. Par

3. Rseaux de Ptri synchroniss (RdPS)