0% ont trouvé ce document utile (0 vote)
108 vues18 pages

RDP Chap1

Ce document présente les réseaux de Petri ordinaires. Il définit les notions de base comme les places, les transitions, le marquage et le franchissement des transitions. Il présente également les notions de séquence de franchissement, graphe de marquages et graphe d'états.

Transféré par

Ghada Boughdiri
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPT, PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
108 vues18 pages

RDP Chap1

Ce document présente les réseaux de Petri ordinaires. Il définit les notions de base comme les places, les transitions, le marquage et le franchissement des transitions. Il présente également les notions de séquence de franchissement, graphe de marquages et graphe d'états.

Transféré par

Ghada Boughdiri
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPT, PDF, TXT ou lisez en ligne sur Scribd

Réseaux Industriels

Les RdP ordinaires

Mohamed NAIJA
[email protected]

2021-2022
Réseaux Industriels

Présentation informelle
 Un RdP 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.

Présentation du cours 2
Réseaux Industriels

Marquage
 Chaque place contient un nombre entier positif
ou nul de marques ou jetons. Le marquage M
définit l'état du système décrit par le réseau à
un instant donné.

 C'est un vecteur colonne de dimension le


nombre de places dans le réseau. Le iéme
élément du vecteur correspond au nombre de
jetons contenus dans la place Pi .

Présentation du cours 3
Réseaux Industriels

Marquage
Exemple 1.

Présentation du cours 4
Réseaux Industriels

Marquage
Exemple 2.

Présentation du cours 5
Réseaux Industriels

Marquage
Exemple 3.

Présentation du cours 6
Réseaux Industriels

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.

 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.

Présentation du cours 7
Réseaux Industriels

Franchissement d'une transition


 T1 est infranchissable par rapport à P2 :

Présentation du cours 8
Réseaux Industriels

Franchissement d'une transition


avant le tir T1 après le tir de T1

Donner le marquage avant et après le tir de T1.

Présentation du cours 9
Réseaux Industriels

Transition source
 Une transition sans place d'entrée est toujours
franchissable : c'est une transition source..

avant le tir T1 après le tir de T1

Le franchissement d'une transition source consiste à rajouter un


jeton à chacune de ses places de sortie.

Présentation du cours 10
Réseaux Industriels

Transition puits
 Une transition sans place de sortie est une
transition puits.
avant le tir T1 après le tir de T1

Le franchissement d'une transition puits consiste à


retirer un jeton de chacune de ses places d'entrée.
Présentation du cours 11
Réseaux Industriels

Séquence de franchissement
 Une séquence de franchissement S est une suite de
transitions Ti Tj…Tk qui peuvent être franchies
successivement à partir d'un marquage donné.

 Une seule transition peut être franchie à la fois.

 Notation : Mi [S->Mj ou Mi [S>Mj

• à partir du marquage Mi , le franchissement de


la séquence S aboutit au marquage Mj.

Présentation du cours 12
Réseaux Industriels

Exemple

 En considère les deux séquences suivantes :


S1 = ‘T1, T2’ et S2 = ‘T1,T3’.
 Donner les marquages suivants :
 M0[S1->M1 et M0 [S2>M2

Présentation du cours 13
Réseaux Industriels

Graphe de marquages
 L’ensemble de marquage accebiles A (R, M0) est
l’ensemble des marquages que l’on peut atteindre à
partir du marquage initial M0 par une séquence de
franchissement.

 A(R, M0) = {Mi, S M0] S >Mi}

 On utilise le graphe de marquages quand le nombre


de marquages accessibles est fini.

Présentation du cours 14
Réseaux Industriels

Exemple 1

 En considère le réseau R suivant. Donner le graphe


des marquages.

Présentation du cours 15
Réseaux Industriels

Exercice

 En considère le réseau R suivant. Donner le graphe


des marquages.

Présentation du cours 16
Réseaux Industriels

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

 Exemple

Présentation du cours 17
Réseaux Industriels

Graphe d’évènement

 Un réseau de Pétri est un graphe d'événement si et


seulement si chaque place possède exactement une
seule transition d'entrée et une seule transition de
sortie

 Exemple

Présentation du cours 18

Vous aimerez peut-être aussi