Vous êtes sur la page 1sur 11

Gnie Logiciel

Les Rseaux De Ptri

Prpar par :
Gwia Fatma Haddar Sihem

Gnie Logiciel

Les Rseaux De Ptri


Dfinition :
Un rseau de Ptri est un moyen de: modlisation du comportement des systmes dynamiques des vnements discrets. description des relations existantes entre des conditions et des vnements.

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 :

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 ime lment du vecteur correspond au nombre de jetons contenus dans la place Pi .

Gnie Logiciel

Exemple 1 : marquage

Exemple 2 : marquage

Exemple 3 : marquage

Franchissement d'une transition :


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.

Gnie Logiciel

Exemple 4 : Franchissement d'une transition

T2 ne peut pas tre franchie car P2 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. Exemple 5 : Franchissement d'une transition Avant franchissement : Aprs franchissement :

Le franchissement de T1 consiste enlever un jeton de P1 et un jeton de P2 et rajouter un jeton dans P3 et un jeton dans P4. Exemple 6 : Franchissement d'une transition Avant franchissement : Aprs franchissement :

Le franchissement de T1 consiste enlever un jeton de P1 et ajouter un jeton chacune des places P2, P3 et P4. Une transition franchissable n'est pas forcment immdiatement franchie. Une transition sans place d'entre est toujours franchissable : c'est une transition source.

Gnie Logiciel

Exemple 7: transition source

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.

Squence de franchissement :
Une squence de franchissement S est une suite de transitions Ti TjTk qui peuvent tre franchies successivement partir d'un marquage donn. Une seule transition peut tre franchie la fois. On note : Mi[SMj ou Mi[S>Mj : partir du marquage Mi , le franchissement de la squence S aboutit au marquage Mj. Exemple 9: squence de franchissement

T1T2 et T1T3 sont deux squences de franchissement.

et

avec

et
5

Gnie Logiciel

Marquages accessibles :
L'ensemble des marquages accessibles est l'ensemble des marquages Mi qui peuvent tre atteint par le franchissement d'une squence S partir du marquage initial M0. On le note *M0.

Exemple 10 : ensemble des marquages accessibles

avec et

Graphe de marquages : On utilise le graphe de marquages quand le nombre de marquages accessibles est fini. Exemple 11 : graphe de marquages

Gnie Logiciel

Le graphe de marquage correspondant.

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 12 : RdP autonome

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


7

Gnie Logiciel

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.

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 13 : graphe d'tat

Chacune des transitions T1, T2, T3, T4 et T5 possde une seule place d'entre et une seule place de sortie.

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 14: graphe d'vnement

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: [Pi , {T1,T2,,Tn}] ; avec T1,T2,,Tn tant les transitions de sorties de la place Pi .

Gnie Logiciel

Exemple 15 :

[P1 , {T1,T2}]

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 16 :

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 17 :

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.

Gnie Logiciel

Exemple 18:

RdP gnraliss :
Un RdP gnralis est un RdP dans lequel des poids (nombres entiers strictement positifs) son associs aux arcs. Si un arc ( Pi,Tj ) a un poids k : la transition Tj n'est franchie que si la place Pi possde au moins k jetons. Le franchissement consiste retirer k jetons de la place Pi. Si un arc ( Tj,Pi ) a un poids k : le franchissement de la transition rajoute k jetons la place Pi.Lorsque le poids nest pas signal, il est gal un par dfaut. Exemple 19 :RdP gnralis Avant franchissement : Aprs franchissement :

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 20 :

10

Gnie Logiciel

Le franchissement de T1 conduit 3 jetons dans P2 d'o T1 ne peut plus tre franchie.

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 21: RdP priorit

Avant franchissement :

Aprs franchissement

11