UNIVERSITE Dr.

MOULAY TAHAR SAIDA

DEPARTEMENT: INFORMATIQUE
M1 RISR

Matière : Ingénierie des systèmes répartis (ISR)

Sujet :

Les réseaux de pétri

Exposé par: Enseignant :

Benalioua Nachida Houacine . A
Leboukhi Zahra
 Un réseau de pétri :

- Est un langage de modélisation , représente sous forme d’un graphe

biparti orienté .
- Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat
de Carl Adam Petri. Les réseaux de Petri sont des outils graphiques et
mathématiques permettant de modéliser et de vérifier le comportement
dynamique des systèmes à événements discrets comme les systèmes
manufacturiers, les systèmes de télécommunications, les réseaux de
transport.
Définition :
Présentation informelle :
• Un réseau de Pétri est un graphe biparti dont on particularise les deux familles de sommets : les
places et les transitions.
• Comme dans tout graphe biparti, un arc ne relie jamais deux sommets de la même famille.
• Les places sont représentées par des cercles, tandis que les transitions sont représentées par des
traits ou des rectangles.

p1 t1 p2 p1 p2

Correct Incorrect (ni entre 2 places)

(ni entre 2 trans )
• Chaque place va contenir un nombre entier de jetons (ou marques) pour modéliser la dynamique du
système.

On note souvent :
• T l’ensemble des transitions ;
• P l’ensemble des places ;
• F est l’ensemble des arcs ;
• M(p) le marquage de la place p (i.e. le nombre de jetons contenus dans p `a un instant donné).
• La distribution des jetons dans les places est appelée le marquage du réseau de Pétri.
M(p1) = 1
M(p2) = 0
M(p3) = 2
M(p4) = 1
on note M = (1,0,2,1) .
Un marquage est une séquence d’entiers non négatifs exprimant le nombre de jetons
dans les places.
 Dynamique d'exécution :

Un réseau de Pétri évolue lorsqu'on exécute une transition : des jetons sont retirés dans les places en
entrée de cette transition et des jetons sont déposés dans les places en sortie de cette transition.
L'exécution d'une transition (pour un réseau de base ou un réseau coloré) est une opération indivisible
qui est déterminée par la présence du jeton sur la place d'entrée.
L'exécution d'un réseau de Pétri n'est pas déterministe, car il peut y avoir plusieurs possibilités
d'évolution à un instant donné (ex: pour une place en amont de deux transitions concurrentes).
Si chaque transition dans un réseau de Pétri a exactement une entrée et une sortie alors ce réseau est
un automate fini.
- Une transition sans places d’entrée est dite transition source
- Le franchissement d'une transition source consiste à rajouter un jeton à chacune de ces places de sortie

- Une transition sans places de sortie est dite transition puits

- Le franchissement d'une transition puits consiste à retirer un jeton de chacune de ses places d'entrée .
Franchissement d'une transition :
Une transition est franchissable lorsque toutes les places qui lui sont en amont (ou toutes les places
d'entrée de la transition) contiennent au moins un jeton.

T1 ne peut pas être franchie car P2 ne contient aucun jeton

Le franchissement consiste à retirer un jeton de chacune des places d'entrée et à rajouter un jeton à
chacune des places de sortie de la même transition.
Graphe de marquages:
On utilise le graphe de marquages quand le nombre de marquages accessibles est fini.
Graphe d'état :
Un réseau de Pétri non marqué est un graphe d'état si et seulement si toute transition a exactement une seule place
d'entrée et une seule place de sortie.
Réseau de Pétri : feu tricolore
Réseau de Pétri : diner des philosophes