Cours Réseaux de Petri - Pr. EL HAFTA (Filière GIL-1) - (Octobre 2021-Slides Version)

Modélisation des Systèmes à Evénements Discrets
les Réseaux de Pétri

Pr. Mohamed EL HAFTA
ENSEM
1ère Génie Industriel et Logistique
2021/2022
© Pr. Mohamed EL HAFTA Cours / Réseaux de Petri / ENSEM 2021

Sommaire
1. Introduction générale
2. Théorie et propriétés des Réseaux de Petri
3. Extensions des Réseaux de Petri
© Pr. Mohamed EL HAFTA 2 Cours / Réseaux de Petri / ENSEM 2021

Partie 1:
INTRODUCTION GÉNÉRALE

Introduction
Plan
• Le Système
• Modélisation
• Systèmes à événement discrets
• Réseaux de Petri

Introduction
Un système ?
Définition : Ensemble d'éléments…
– en interaction mutuelle et …
– … en interaction avec l'environnement, …
– … organisés en fonction d'un même but pour parvenir à une même fin.

Introduction
Un système ?
Statique
Non linéaire
Continu
Système
Dynamique
Linéaire
Déterministe
Discret
Stochastique

Introduction
Un système ?
• Dans un système continu, l'état du système change en permanence

avec l'évolution du temps.
• Dans un système à évènements discrets (SED), l'état change

seulement à certains instants lors de l'occurrence d'évènements
particuliers.

Introduction
Un système ?
• L'espace d'états d'un SED est donc discret.
• un SED est stochastique si au moins une de ses sorties est

aléatoire.
– Dans ce cas le système est décrit par un processus stochastique.

Introduction
Un système ?
Système Continu # Système à Evènements Discrets

Introduction
Un système ?
• Le mot « discret » ne signifie ni « temps discret » ni « état

discret »
– Le temps et les états du système réel évoluent de façon continue,

mais on ne s’intéresse qu’à des instants particuliers
• Càd, seuls les faits importants pour l’étude sont considérés :

– arrivée ou départ d’une ressource (objet, personne, …)
– début ou fin d’une action ou d’un processus, …

Introduction
Un système ?
• Q: Comment déterminer les critères à prendre en compte ?
• Règle de conduite :
– faire abstraction des détails qui ne contribuent pas à l’élaboration
des résultats attendus.

Introduction
Un système ?
• Exemple 1 : une station d’essence
– Résultats attendus :
• Taille file d’attente, temps d’attente, …

Introduction
Un système ?
– Aspects intéressants
• Pompes : libre, occupée, nombre
• Véhicules : type carburant, arrivée, attente dans une file, service en
cours, départ

Introduction
Un système ?
– Aspects intéressants
• Pompes : libre, occupée, nombre
• Véhicules : type carburant, arrivée, attente dans une file, service en
cours, départ
– Aspects non intéressants

• Véhicules : marque, couleur, moteur en marche…

Introduction
Un système ?
– Paramètres complémentaires pour rapprocher le modèle de la réalité :

• Distribution statistique des arrivées de véhicules
• Durée globale du service

Introduction
Un système ?
• Exemple 2 : Un réseau routier
• Évolution du nombre de voitures en attente (entassement des voitures et
désengorgement des files)
• Temps d'attente moyen d'un véhicule devant un feu tricolore
• Temps maximal d'attente d'un véhicule devant un feu tricolore
• Temps moyen et maximal mis par un véhicule pour parcourir un trajet donné

Introduction
Un système ?
• Exemple 3 : Un système de fabrication
– Objectif :
• Détermination du nombre d’ouvriers spécialisés nécessaires à la
fabrication d’un produit donné
– Données :
• Distribution des commandes (loi de probabilité)
• Temps de fabrication du produit
• Délai de livraison et taux de dépassement toléré

Introduction
Un système ?
• De nombreux systèmes complexes relèvent de cette classe de

comportement…
– Exemples :
• Les systèmes automatisés de production (systèmes manufacturiers)
• les systèmes de transport
• Les systèmes de prises de décision
• les réseaux de communication
• les systèmes embarqués

Conception d’un système
• Cycle classique de conception : Cycle en V
Analyse du besoin Tests d’acceptation
Spécifications Tests de validation
Conception globale
Tests d’intégration
(architecture)
Conception détaillée Tests unitaires
implémentation
Si pb ici, il faut tout
recommencer
=> Coût + temps

Conception d’un système
• Introduction obligatoire d'étapes de validation AVANT la mise

en œuvre (implémentation)
• Notamment :
– …Spécifications
– Modélisation
– Simulation
– Analyse
– Validation
– …Mise en œuvre
à détection +tôt des erreurs et insuffisances

Introduction
La modélisation
• Définition :
– Un modèle est une représentation simplifiée capable de

reproduire de façon pertinente un comportement partiel d’un
système.

Introduction
La modélisation
• Modèles mathématiques :
– Equations aux dérivées partielles :
• mécanique des fluides,
• géologie,
• météorologie,
• etc…

Introduction
La modélisation
• Modèles fondés sur des méthodes d’apprentissage :

– réseaux de neurones artificiels :
• Traitement de signal,
• contrôle de processus,
• classification de données,…

Introduction
La modélisation
• Modèles à la fois formels (langages ayant une définition

mathématique) et semi-graphiques :
– Réseaux de Petri (RdP) ou Petri Nets (PN) : Systèmes à Evénements

Discrets (SED):
• processus logistiques : organisation des services, réseaux de transport…
• processus techniques : réseaux de télécommunications, réseaux

d’ordinateurs, chaînes de production, ateliers flexibles…

Introduction
Les réseaux de Petri (RdP)
• Carl Adam Petri (1926-2010, Allemagne)

– Mathématicien – Informaticien
– Invention des RdP 1962 (Thèse de doctorat :
Kommunikation mit Automaten)
• Kurt Jensen (1950, Denmark)

– Dr en Sciences de l’Information
– Introduction des Réseaux de Petri colorés en
1981

Introduction
• RdP == Outil de modélisation
– « Outil de modélisation orienté vers la représentation des SED dont

les variables d'états évoluent brusquement d'une valeur à l'autre
sans qu'il soit nécessaire de représenter les phénomènes
transitoires »

Introduction
• Caractéristiques des RdPs :
– Représentation semi-graphique comportant un petit nombre de

symboles.
– Représentation mathématique sous-jacente

Introduction
• Caractéristiques des RdPs :
– Divers traitements possibles :

• Visualisation dynamique par simulation
• Analyse qualitative (propriétés : invariants, absence de blocage,
accessibilité, …)
• Analyse quantitative (performance) mathématiquement ou par simulation

• Un réseau de Pétri est un graphe orienté comportant :
– Un ensemble fini de places P = {P1,P2,...,Pn} : conditions ou

statuts
Place

– Un ensemble fini de transitions T = {T1, T2, ..., Tn} : évènements

ou actions
Transition

– Un ensemble fini d'arcs orientés et unidirectionnels
Arc

• Caractéristiques des RdP :

– Un arc ne relie jamais deux sommets de la même famille.
– Chaque place va contenir un nombre entier de jetons (ou marques)

pour modéliser la dynamique du système.

Places, transitions, arcs et marquages
P1 P1
T1 T1
T8 P2 T8 P2
T2 T2
P3 P4 P3 P4
T3 T4 T3 T4
P5 P6 P5 P6
T5 T5
P7 P7
a - RdP non marqué b - RdP marqué
Le marquage à un instant (t) définit l’état du système décrit par le RdP.
Remarque : Le marquage d’un RdP est numérique (nombre entier) alors que celui d’un Grafcet est
booléen (état actif ou inactif)
Partie 2 :
THÉORIE ET PROPRIÉTÉS DES
RÉSEAUX DE PETRI

Théorie et propriétés des Réseaux de Petri
RdP - Concepts de base
• Un RdP est un graphe orienté. Il comporte :
– un ensemble fini de places, P={P1, P2, P3, ..., Pm}, symbolisées par
des cercles et représentant des conditions.
• Cet ensemble traduit l’état d’une ressource du système (machine libre,
stock vide, convoyeur à l’arrêt, …).
Pi-1 Ti Pi

– un ensemble fini de transitions, T={T1, T2, T3, ..., Tn},

symbolisées par des tirets et représentant l'ensemble des événements
(actions ou tâches du système),
• L'occurrence d’un événement provoque la modification de l'état du système.
Pi-1 Ti Pi

– un ensemble fini d'arcs orientés qui assurent la liaison d'une place

vers une transition ou d'une transition vers une place.
Pi-1 Ti Pi

• Un RdP est, en plus, biparti. Càd :
– un arc relie alternativement une place à une transition et une

transition à une place.
– On ne doit pas avoir ce type de situation :

• Une condition est la description de l’état d’une ressource du

système modélisé :
– La machine est prête,
– La machine est hors service,
– Le stock est suffisant…
• Un état du système peut être décrit comme un ensemble de

conditions. (chacune est soit vraie, soit fausse)
– Dans le formalisme des Réseaux de Petri, la condition est modélisée

à l’aide d’une place.

• Un événement est une action qui se déroule au sein du système

et dont la réalisation dépend de l’état du système :
• Début de traitement sur une machine,

• Panne sur une machine,
• Réception d’une commande,
• Fin de traitement d’une commande
• …
– Dans le formalisme des Réseaux de Petri, l’événement est modélisé à

l’aide d’une transition.

Algèbre linéaire
• Un réseau de Petri est défini par un quadruplet

Q = (P, T, Pre, Post), où :
1. P est un ensemble fini de places:
P = { p1 , p2 , p3 , … , pn}
2. T est un ensemble fini de transitions:
T = { t1 , t2 , t3 , … , tm}

Algèbre linéaire

3. Pre (ou Entrée) est une application

Pre: P x T ∈ N
appelée application d’incidence avant
• Notée Pre(p,t) ou Entrée(p,t) ou encore I(p,t),
• contient la valeur entière « n » associée à l’arc allant de « p » à « t ».

Algèbre linéaire

4. Post (ou Sortie) est une application

Post: P x T ∈ N
appelée application d’incidence arrière
• Notée Post(p,t) ou Sortie(p,t) ou O(p,t),
• contient la valeur entière « n » associée à l’arc allant de « t » à « p ».

Algèbre linéaire
• « p » est une place d’entrée de la transition « t » si Pre(p,

t) > 0
k1
k1 = Pre(p,t)>0
p t
• « p » est une place de sortie de la transition « t » si Post(p,

t) > 0
k2
k2 = Post(p,t)>0
t p
– K1 et k2 représentent le poids des arcs

Algèbre linéaire
• « t » est une transition d’entrée de « p » si Sortie(p,t) > 0:
i1
I1 = Post(p,t)>0
t p
• « t » est une transition de sortie de « p » si Entrée(p,t) > 0:

i2
I2 = Pre(p,t)>0
p t
– i1 et i2 représentent le poids des arcs

Algèbre linéaire :: Matrices d'incidence
• Matrice d'incidence :
W = W+ - W-
• Où :
– Matrice d'incidence avant :
W- = [w-ij] où w-ij =Pré(Pi, Tj)

– Matrice d'incidence arrière :
W+ = [w+ij] où w+ij =Post(Pi, Tj)

Algèbre linéaire :: Matrices d'incidence
• Exemple :
T1 T2 T3 T4 T1 T2 T3 T4 P1
1 0 0 0 P1 0 0 0 1 P1 T1
0 1 0 0 P2 1 0 0 0 P2 P2 P3
W- = 0 0 1 0 P3 W+ = 1 0 0 0 P3
0 0 0 1 P4 0 1 0 0 P4 T2 T3
0 0 0 1 P5 0 0 1 0 P5 P4 P5
T1 T2 T3 T4 T4
-1 0 0 +1 P1
+1 -1 0 0 P2
Matrice d'incidence : W = W+ - W- = +1 0 -1 0 P3
0 +1 0 -1 P4
0 0 +1 -1 P5

• Par convention :
– lorsque le poids n’est pas précisé sur un arc, alors ce poids vaut
1.
– Si aucun arc ne relie une transition t à une place p, alors

Post(p,t) = 0.
– De même, si aucun arc ne relie une place p à une transition t, alors

Pre(p,t) = 0.

Algèbre linéaire :: Équation fondamentale
• L’équation fondamentale s’écrit :
Mi + W. S = Mk
S est la séquence de franchissement à partir de Mi pour aboutir à Mk
– Exemples : S = T1T2T4 , S = T2T3

Algèbre linéaire :: Équation fondamentale
• L’équation fondamentale s’écrit :
Mi + W. S = Mk P1
T1
P2 P3
Vérifier avec le franchissement de la transition T2
T2 T3
0 -1 0 0 +1 0 0 0
0
1 +1 -1 0 0 1 -1 0 P4 P5
1
1 + +1 0 -1 0 . = 1 + 0 = 1 T4
0
0 0 +1 0 -1 0 +1 1
0
0 0 0 +1 -1 0 0 0
Mi W S Mk

Concepts de base : cas particuliers
• Transitions sources :
– Une transition source est une transition qui ne comporte aucune

place d’entrée
t p

Concepts de base : cas particuliers
• Transitions puits :
– Une transition puits est une transition qui ne comporte aucune place
de sortie
p t

Le marquage d’un RdP
• Le marquage d’un RdP est donné par la présence à l'intérieur

des places d'un nombre fini (positif ou nul), de marques ou de
jetons.
– Une place est vide ou marquée.
• Exemple :

• Au cours de l’évolution du système, le marquage est susceptible

d’être modifié.
• Le marquage initial M0, d’un RdP correspond à la distribution

initiale des jetons dans chacune des places du RdP,
– Il précise l'état initial du système.
– Dans ce cas, on parle du Rdp Marqué
• Un Rdp non marqué est tel que le marquage initial n’est pas
précisé.

• On note M(p) le nombre de jetons contenu dans la place p pour le

marquage M.
p1 t1 p2 t2
• Exemple :
– Le marquage initial est : M0 = [M0(p1), M0 (p2)] = [3, 0].
• Un marquage peut être représenté également sous forme d’un

vecteur colonne :
3
M0 = [M0 (p1), M0 (p2)]T =
0

Exercice 1
• Un atelier est constitué d’une machine et d’un stock.

• Quand une pièce arrive et que la machine est disponible, la
pièce peut être traitée (usinage). Une fois le traitement
terminé, la pièce qui a été usinée est stockée. Sinon, la
commande doit attendre que la machine se libère avant de
pouvoir être traitée.
– Travail à faire : écrire le modèle RdP du système et proposer un

marquage initial

Exercice 1 : Solution
Après plusieurs séquences…
T1 (Arrivée d’une pièce) T1 (Arrivée d’une pièce)
P1 (machine libre) P1 (machine libre)
P2 (Stock pièces avant P2 (Stock pièces avant

traitement) traitement)
T2 (Début du traitement) T2 (Début du traitement)
P3 (Usinage - Machine occupée) P3 (Usinage - Machine occupée)
T3 (Fin du traitement) T3 (Fin du traitement)
P4 (Stock des pièces P4 (Stock des pièces

finies) finies)

Exercice 2
• Soit le RdP suivant : 3

t1 t3
p1 p2 p3
2
t2 t4
• Travail à faire :
– Indiquer le marquage initial
– Etablir la matrice d’entrée E
– Etablir la matrice de sortie S

Solution : Exercice 2
Mo =[0, 3, 0] 3
t1 t3
T1 T2 T3 T4 p1 p2 p3
0 1 0 0 P1
E= 1 0 3 0 P2
0 0 0 1 P3 2
t2 t4
T1 T2 T3 T4
1 0 0 0 P1
S= 0 1 0 2 P2
0 0 1 0 P3

Franchissement d’une transition

Avant franchissement Avant franchissement
P1 P1
T1 T1
P2 P3 P2 P3
T2 T3 T2 T3
P4 P5 P4 P5
T4 T4
Transition validée T4 : Chacune des places en amont de T4 contient au moins une

marque.
Franchissement d’une transition validée T4 :

- on retire, une marque a chacune des places en amont de T4.
- on ajoute une marque a chacune des places en aval deT4.

Ensemble des marquages accessibles
P1
T1
P2 P3
T2 T3
P4 P5
T4
• II y a 5 marquages M0, M1, M2, M3, M4 atteignables qui constituent l’ensemble

des marques accessibles du RdP (noté *M0)
• Le franchissement de T1 puis de T2 s’appelle une séquence de franchissement,

qu’on note S = T1T2

Propriétés des RdP

Réseau borné, sauf

• Une place Pi est bornée pour M0 si pour tout marquage accessible à
partir de M0 le nombre de marques dans Pi est borné.
• Un RdP est borné si toutes ses places sont bornées quelque soit M0
borné.
P1
T1 P1
T1
P2
P2
T2
RdP borné RdP non borné
Si la borne est égale à 1, le RdP est dit sauf

Vivacité
• Une transition Tj est vivante pour M0 si pour tout marquage accessible
Mi, il existe une séquence de franchissement S à partir de Mi qui
contient Tj
P1
T1
P1
P2
T1
T2
P2
P3
T2
T3
T1 et T2 sont vivantes T1 est non vivante
RdP vivant RdP non vivant
Un RdP est vivant si toutes ses transitions sont vivantes

Blocage
• Un blocage est un marquage tel qu'aucune transition n’est validée.
• Un RdP est dit sans blocage pour un marquage Mi si aucun marquage
accessible à partir de Mi n’est un blocage.
P1 P1
T1 T2 T1 T2
P2 P3 P2 P3
T3 T3 T4
P4 P4 P5
T4 T5 T6
RdP avec blocage RdP sans blocage

mais non vivant
Conflits
• Un conflit effectif est l’existence d’un conflit structurel
• K = <Pi, {T1,T2,…}> et d'un marquage M, tel que le nombre de marques

dans Pi est inférieur au nombre de transitions de sortie validées par
M.
P1
P1 P2 P3 P1
T1 T2
T1 T2 T1 T2
Pas de conflit effectif Pas de conflit effectif conflit effectif

Séquences répétitives
• Une séquence répétitive est une séquence de franchissement S =

T1 ... Tr à partir d'un marquage M qui donne le même marquage M.
• L'ensemble (T1 … Tr) est une composante répétitive.

P1
T1
P2 P3 P4
T2 P4 T3
A partir du marquage initial,

si on franchit la séquence S=T1T2T1T3 on revient au marquage initial

P1
T1
P2 P3 P4
T2 P4 T3
© Pr. Mohamed EL HAFTA

68 Cours / Réseaux de Petri / ENSEM 2021
Graphe des marquages
• Le graphe des marquages est composé :

– Nœuds : marquages accessibles
– arcs : franchissement des transitions
0
P1 T1
2
T1
T1 2 1 M2
T2 0 1 0
P2 T2
M0 M1
1
M3
• On peut trouver toutes les propriétés du RdP à partir du graphe
des marquages.

Arbre et graphe de couverture
• Le nombre d’états peut être infini et ne peut être représenté.
T1 T1 T1 T1 …
0 1 2 3
P1 T2 T2 T2
M0 M1 M2 M3
T2
Þ On introduit un marquage w qui représente une infinité de marquages possibles.
T1 w T1
T1 T1
0 w 0 w
T2 w M0 T2
M0
Arbre de couverture graphe de couverture

Exercice 3 :
• Soit le RdP suivant

P1
T1
P2 P3
• Travail à faire :
– Dresser les marquages accessibles. T2 T3
– Etablir le graphe des marquages.

P4 P5
– Trouver la matrice d’incidence.
– Quelles sont les propriétés relevées ?
T4 T5

Réseaux autonomes
• Un RdP autonome décrit le fonctionnement d’un système qui

évolue de façon autonome. c'est-à-dire dont les instants de
franchissement ne sont pas connus on pas indiqués.
P1 T1 P2
Printemps été
T4 T2
P T3 P3
hiver 4 automne
Cycle des saisons

Réseaux non autonomes
• Un RdP non autonome décrit le fonctionnement d'un système dont l‘évolution

est conditionnée par des événements externes ou par le temps.
• Un RdP non autonome est synchronisé et/ou temporisé
P1 T1 P2
Printemps été
21 juin
21 mars T4 T2 21 sept
Cycle
P4 officiel des saisons
21 déc
P3
hiver automne
T3
Cycle officiel des saisons

Graphe d’évènements
• Un graphe d’événements est un RdP tel que chaque place a

exactement une transition d’entrée et une transition de sortie.
– Exemples :

Structures particulières : Graphe d’états
• Un graphe d’états est un RdP tel que chaque transition a

exactement une place d’entrée et une place de sortie.
– Exemples

Structures particulières : RdP généralisés
T1 non validée T1 validée
P1 P2 P1 P2 P1 P2
3 3 3
T1 T1 T1
2 2 2
P3 P3 P3
P4 P4 P4
Avant Après
franchissement franchissement

Structures particulières : RdP à arcs inhibiteurs
T1 non validée T1 validée
P1 P2 P1 P2 P1 P2
T1 T1 T1
P3 P3 P3
Avant Après
franchissement franchissement

Exercice 4 : Modélisation d’un Atelier de montage de cycle

• Considérons un atelier de montage partiel d’un vélo. Pour assembler deux roues
et un cadre, l’atelier est constitué de trois machines :
– La 1ère machine fabrique des cadres en assemblant tubes et cordons de soudure,
– La 2ème machine fabrique les roues à partir des jantes, des rayons et des moyeux,
– La 3ème machine assemble un cadre avec 2 roues
• Les capacités respectives des stocks de cadres et de roues sont respectivement 4
et 6
• On précise que :
– Les trois machines ont une capacité de production du type « 1 à la fois »,
– Le stock aval de la machine d’assemblage peut être considéré comme de capacité infinie,
– Le fonctionnement des trois machines est entièrement automatique.
• Indication : Réseau de Petri généralisé (non graphe d’événements) autonome

+ =
+ + + +…
79 © Pr. Mohamed EL HAFTA Cours / Réseaux de Petri / ENSEM 2021
Exercice 5 : Modélisation d’un Atelier de montage de cycle
• Suite …
– Changer le modèle de RdP généralisé en intégrant les arc inhibiteurs

(préparer pour un TP)

Exercice 5 : Modélisation d’un accès au service de VISA

• Un service de délivrance de VISAS fait entrer les demandeurs par
groupes (RDV groupés) et ferme la porte d’entrée avant de commencer le
service.
• Tout demandeur servi sort par une autre porte.
• La porte d’entrée n’est ouverte à nouveau que lorsque tous les
demandeurs qui étaient entrés ensemble sont sortis.
– Donner le RdP de fonctionnement de ce service en supposant qu’on fait entrer

un seul demandeur à la fois.
– Donner le RdP de fonctionnement lorsqu’on fait entrer les demandeurs par

groupes de 4 personnes.
– Proposez un modèle simplifié en utilisant des arcs inhibiteurs.

Composantes conservatives et invariants linéaires de places

• Un invariant linéaire de places {P1, ..., Pr} est une somme pondérée
des marquages de ces places telle que :
– q1M(P1) + … + qr M(Pr) = constante, pour tout M Î *M0.
– L'ensemble des places {P1, …, Pr} est dite composante conservative

Composantes conservatives et invariants linéaires de places

• Un invariant linéaire de places {P1, ..., Pr} est une somme pondérée
des marquages de ces places telle que :
– q1M(P1) + … + qr M(Pr) = constante, pour tout M Î *M0.
– L'ensemble des places {P1, …, Pr} est dite composante conservative
P1 T1 P2
Printemps été
T4 T2
P T3 P3
hiver 4 automne
A tout instant on a l’invariant : m1 + m2 + m3 + m4 = 1

L'ensemble des places {P1, P2, P3, P4} est une composante conservative

Composantes conservatives et invariants de marquages
• F = (q1, q2, …, qr) avec qi Î N tel que FT.W = 0

– F est dit « un P-semi-flot »
• Pour tout marquage Mi atteignable par une séquence de

franchissement S :
Mi = M0 + W. S
FT . Mi = FT . M0 + FT . W . S
Si FT . W = 0, on a FT . Mi = FT . M0 quelle que soit S

Composantes conservatives et invariants de marquages (suite)
P1
-1 0 0 1 T1
P2 P3
1 -1 0 0
[ 11 0 1 0 ] . 1 0 -1 0 = [0 0 0 0 0 ] T2 T3
0 1 0 -1
0 0 1 -1 P4 P5
FT W T4
{P1, P2, P4} est une composante conservative.

Avec le marquage initial M0 = (1, 0, 0, 0, 0), on a l’invariant linéaire de
places : m1 + m2 + m4 = 1.

Composantes répétitives et invariants de franchissement
• Y = (q1, q2, …, qm) avec qi Î N tel que : W.Y = 0

– Y est dit « un T-semi-flot »
• Si il existe une séquence de franchissement S telle que S est

un T-semi-flot, alors :
Mi = M0 + W. S = M0

• Y = (q1, q2, …, qm) avec qi Î N tel que : W.Y = 0

– Y est dit « un T-semi-flot »
• Si il existe une séquence de franchissement S telle que S est

un T-semi-flot, alors :
Mi = M0 + W. S = M0
S est une séquence répétitive = invariant de franchissement

(suite)
P1
-1 0 0 1
1 T1
1 -1 0 0
1 = [0 0 0 0 ] P2 P3
1 0 -1 0 .
1
0 1 0 -1 T2 T3
1
0 0 1 -1
P4 P5
W Y
T4
S = {T1, T2, T3, T4} est un invariant de franchissement.
L’invariant d’un T-semi-flot est une condition nécessaire pour qu’un RdP
soit réinitialisable.

Structures particulières
EXTENSIONS DES RDP

Les réseaux de Petri colorés
• Les RdP colorés :

– Association d’un identificateur ou une « couleur » à chaque marque
– À chaque transition est associé un ensemble de couleurs où chacune
de ces couleurs indique une possibilité de franchissement
– Une fonction est associée à chaque arc afin de traduire la relation
entre la couleur associée à la transition et choisie pour franchir
cette transition et la couleur associée à la place correspondante
• L’introduction de la couleur permet de :
– Distinguer les marques
– Éviter de répéter des motifs redondants lors de la modélisation
– Modéliser des systèmes complexes par une représentation relativement
simple

Extensions des Réseaux de Petri
Gb Db
Chariot Bleu
Ab Bb Deux systèmes
Gr Dr identiques
Chariot rouge
Ar Br

Gb Db
Chariot Bleu
Ab Bb Deux systèmes
Gr Dr identiques
Chariot rouge
Ar Br
b r
P1 P1
déplacement à gauche déplacement à gauche
b r
T1 arrivée à gauche T1 arrivée à gauche
b r
P2 déplacement à droite P2 déplacement à droite
b r
T2 arrivée à droite
T2
arrivée à droite
Chariot Bleu Chariot rouge

Simplification par fusion
• On voit que le modèle des deux systèmes est composé de deux RdP
identiques.
– Peut-on représenter le fonctionnement des deux chariots par un seul
RdP ? P1
– On fusionne les deux RdP en un seul : T1

P2
T2
Ce modèle ne décrit pas correctement le fonctionnement des deux chariots

Notion de Fonction
• II faut distinguer les marques entre elles.
• Pour cela on associe un identificateur ou une couleur a chaque marque.
– On associe la couleur rouge au chariot rouge et la couleur bleue au chariot
bleu.
– On associe une fonction aux arcs pour traduire les relations de
franchissement
P1 P1 P1
.. br br
f(b)=b
id
T1 T1 {b,r} f(r)=r T1 {b,r}
id
P2 P2 P2 id
id
T2 T2 {b,r} T2 {b,r}

Notion de Fonction
• Il y a similitude dans le déplacement des chariots : alternance

des mouvements vers la gauche et vers la droite;
– Peut-on représenter les deux mouvements par une même place Pr pour
le chariot rouge ?
• Pour distinguer l'état "déplacement à droite" de l'état

"déplacement à gauche", on associe les couleurs g et d à la
place Pr.
– On définit une fonction f telle que f(g) = d et f(d) = g.
g
Pr Pr g Pr
Franchissement d Franchissement
par rapport à g par rapport à g
f id f id f id
Tr {g,d} Tr {g,d} Tr {g,d}

Couleurs et fonctions dans le cas général
• On veut construire un RdP coloré avec une place et une

transition pour le système des deux chariots. On définit des
doublets de couleurs composés de deux couleurs simples :
– par exemple le couple <g, r> dans la place P1 indique que le chariot rouge se
déplace vers la gauche.
P1
<g,r>
<g,b>
f id
T1 Avec : f(<g, r>) = <d, r>
{<g,r>, <g,b>, <d,r>, <d,b>}
f(<d, r>) = <g, r>
f(<g, b>) = <d, b>
f(<d, b>) = <g, b>

Modélisation
• Par coloration totale, tout RdP ordinaire R peut être transformé en un RdP
coloré avec une seule place et une seule transition.
P
Mc0
Pré
T {<T1>, <T2>,…,<Tm>}
Post
• Dans ce modèle la place P résulte de la fusion des places Pi de R et la
transition T, de la fusion des transitions Tj de R.
– L'ensemble des couleurs associées à la place P est l’ensemble des places Pi, tel que :
C(P) = {<P1>, …,<Pn>}
– et l’ensemble de couleurs associées à la transition T est :
C(T) = {<T1>, …,<Tm>}

Exemple : une ligne de fabrication

• Une ligne de fabrication produit deux types de pièces p1 et p2 à l’aide
de deux machines munies chacune d’un stock d'entrée.
Stock 1 Machine 1 Stock 2 Machine 2
Recyclage des palettes
• Toutes les pièces passent dans le même ordre sur les deux machines.
Elles sont portées par des palettes (ni pour les pièces de type pi)
recyclées à la fin de la production de chaque pièce.
• L’ordonnancement du système consiste à envoyer alternativement les deux
types de pièces : p1, p2, p1, p2, ...

RdP coloré pour la ligne de fabrication (coloration par
rapport au type de pièce)
n1 C1 ST
1
n2 C2
T1 Avec :
{C1, C2}
ML1 succ(C1) = C2
MO1 C1
succ(C2) = C1
T1 {C1, C2}
succ
Dans ce modèle, la coloration est
ST2 faite par rapport aux pièces,
T2 l'ensemble de couleurs (C1, C2)
{C1, C2}
ML2 est associé à toutes les places
MO2
et a toutes les transitions.
C1
T2 {C1, C2} Modèle == géographie de la ligne
succ de fabrication.

RdP coloré pour la ligne de fabrication (coloration par
rapport aux pièces et aux machines)
• L'emploi de couleurs simples n’est pas toujours le meilleur choix.
– Par exemple, si le nombre de machines dans la ligne de fabrication augmente, le modèle
global devient complexe.
• Une solution consiste a colorer le modèle par rapport aux machines.

ST n1 <C1, m1>
C x M = {<ci, mj>} 1 ≤ i ≤ 2, 1 ≤ j ≤ 2 n2 <C2, m2>
Succ1(<C1,mj>) = <C2, mj>
T1 CxM
Succ1(<C2,mj>) = <C1, mj>
Succ2(<Ci,m1>) = <Ci, m2>
succ1
Succ2(<Ci,m2>) = <Ci, m1> MO <C1, m1>
ML
<C2, m2>
Succ1(<Ci,mj>) = <Ci+1, m1> (modulo 2)
T2 CxM
Succ1 = ordonnancement
Succ2 = gamme de fabrication succ2

Exercice 6 : système de transport à structure FIFO
1 2 3 4 5 6 7 n=8
entrée sortie
o2 o1 o4 o1
• Ce convoyeur linéaire peut transporter simultanément q types d’objets

appelés o1, o2, …, oq . Le nombre maximum d’objets simultanément
transportés étant n (ce qui correspond à n emplacements).
• Initialement, il y a un objet 2 dans l’emplacement 2, un objet 1 dans
l’emplacement 4, un objet 4 dans l’emplacement 6 et un objet 1 dans
l’emplacement 7.
• On attend du modèle qu’il donne à tout instant l’état du système
physique et qu’il conserve les informations relatives à la nature des
objets.

Les réseaux de Petri temporisés
• Un RdP temporisé permet de décrire un système dont le

fonctionnement dépend du temps.
• Ils sont utiles pour l’évaluation des performances d'un

système.
• La temporisation peut être modélisée de deux façons :

– Temporisation associée aux places (RdP P-temporisé)
– Temporisation associée aux transitions (RdP T-temporisé)

Les réseaux de Petri temporisés
• Un RdP P-temporisé est un doublet <R, Tempo> tel que :

– R est un RdP marqué
– Tempo est une application de l'ensemble des places P dans Q.
– Tempo(Pi) =di : temporisation associées à la place Pi.
•
• Un RdP T-temporisé est un doublet <R, Tempo> tel que :
– R est un RdP marqué
– Tempo est une application de l'ensemble des places P dans Q.
– Tempo(Ti) =dj : temporisation associées à la transition Tj

Fonctionnement d'un réseau de Petri P-temporisé

T1
P1 d1
T2
P2
d2
T3
Marque indisponible dans P1
Marque disponible dans P1
Franchissement de T1


T1
P1 d1
T2
P2
d2
T3

d1

d2

T1
P1 d1
T2
P2
d2
T3

d1

d2


T1
P1 d1
T2
P2
d2
T3

d1

d2

• Exemple M0
P1 P1 P1
d1 = 2 d1 = 2 d1 = 2
T1 T1 T1
P2 d2 = 3 P2 P2
d2 = 3 d2 = 3
T2 T2 T2
0≤t≤x 0 ≤ t ≤ x+3 0 ≤ t ≤ x+3+y

Fonctionnement d'un réseau de Petri T-temporisé

T1 d1
P1
T2 d2
P2
T3
Marque non réservée dans P1
Marque réservée dans P1 d2

(fin de ) Franchissement de T1
Décision de Franchir T2


T1 d1
P1
T2 d2
P2
T3



T1 d1
P1
T2 d2
P2
T3



T1 d1
P1
T2 d2
P2
T3


• Exemple
M0
P1 P1 P1
d1 = 2 d1 = 2
T1 d1 = 2 T1 T1
P2 P2 P2
T2 d2 = 3 T2 d2 = 3
T2 d2 = 3
t=0 0<t<2 t=2

Autres classes de RdP : RdP Continus
• Les réseaux de Petri continus

– Le nombre de marque des place est un nombre réel non négatif
– À chaque transition est associé une vitesse ou un débit de
franchissement.
– La vitesse de franchissement peut être variable (RdP continu à
vitesses variables) ou constante (RdP continu à vitesses
constantes).
• Utilisation du RdP continu permet de :
– Éviter un nombre de marquages très grand
– Modéliser des systèmes complexes avec un nombre de ressources très
important

Autres classes de RdP : les RdP hybrides
• Les réseaux de Petri hybrides

• contiennent deux types de places et de transitions
– Places continues (C-places) et places discrètes (D-places)
– Transitions continues (C- transitions) et transitions discrètes (D-
transitions)
– Un arc doit relier une C-transition à une D-place dès lors que l’arc
réciproque existe
• L’utilisation des RdP hybrides est bien adaptée pour modéliser
un fonctionnement permanent

Conception et Simulation
OUTILS DE SIMULATION DES RDP

Plusieurs outils (plus ou moins élaborés) gratuits sont
accessibles sur le Web

Travaux pratiques
(VOIR SECTION TP)

Cours Réseaux de Petri - Pr. EL HAFTA (Filière GIL-1) - (Octobre 2021-Slides Version)

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

Cours Réseaux de Petri - Pr. EL HAFTA (Filière GIL-1) - (Octobre 2021-Slides Version)

Transféré par

Droits d'auteur :

Formats disponibles

Modélisation des Systèmes à Evénements Discrets

les Réseaux de Pétri

© Pr. Mohamed EL HAFTA Cours / Réseaux de Petri / ENSEM 2021

© Pr. Mohamed EL HAFTA 2 Cours / Réseaux de Petri / ENSEM 2021

© Pr. Mohamed EL HAFTA Cours / Réseaux de Petri / ENSEM 2021

© Pr. Mohamed EL HAFTA 4 Cours / Réseaux de Petri / ENSEM 2021

Définition : Ensemble d'éléments…

– … en interaction avec l'environnement, …

© Pr. Mohamed EL HAFTA 5 Cours / Réseaux de Petri / ENSEM 2021

© Pr. Mohamed EL HAFTA 6 Cours / Réseaux de Petri / ENSEM 2021

• Dans un système continu, l'état du système change en permanence

• Dans un système à évènements discrets (SED), l'état change

© Pr. Mohamed EL HAFTA 7 Cours / Réseaux de Petri / ENSEM 2021

• L'espace d'états d'un SED est donc discret.

• un SED est stochastique si au moins une de ses sorties est

© Pr. Mohamed EL HAFTA 8 Cours / Réseaux de Petri / ENSEM 2021

Système Continu # Système à Evènements Discrets

© Pr. Mohamed EL HAFTA 9 Cours / Réseaux de Petri / ENSEM 2021

• Le mot « discret » ne signifie ni « temps discret » ni « état

– Le temps et les états du système réel évoluent de façon continue,

• Càd, seuls les faits importants pour l’étude sont considérés :

© Pr. Mohamed EL HAFTA 10 Cours / Réseaux de Petri / ENSEM 2021

• Q: Comment déterminer les critères à prendre en compte ?

© Pr. Mohamed EL HAFTA 11 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 1 : une station d’essence

© Pr. Mohamed EL HAFTA 12 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 1 : une station d’essence

© Pr. Mohamed EL HAFTA 13 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 1 : une station d’essence

– Aspects non intéressants

© Pr. Mohamed EL HAFTA 14 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 1 : une station d’essence

– Paramètres complémentaires pour rapprocher le modèle de la réalité :

• Durée globale du service

© Pr. Mohamed EL HAFTA 15 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 2 : Un réseau routier

• Temps d'attente moyen d'un véhicule devant un feu tricolore

• Temps maximal d'attente d'un véhicule devant un feu tricolore

© Pr. Mohamed EL HAFTA 16 Cours / Réseaux de Petri / ENSEM 2021

• Exemple 3 : Un système de fabrication

• Temps de fabrication du produit

• Délai de livraison et taux de dépassement toléré

© Pr. Mohamed EL HAFTA 17 Cours / Réseaux de Petri / ENSEM 2021

• De nombreux systèmes complexes relèvent de cette classe de

© Pr. Mohamed EL HAFTA 18 Cours / Réseaux de Petri / ENSEM 2021

• Cycle classique de conception : Cycle en V

Analyse du besoin Tests d’acceptation

Spécifications Tests de validation

Conception détaillée Tests unitaires

© Pr. Mohamed EL HAFTA 19 Cours / Réseaux de Petri / ENSEM 2021

• Introduction obligatoire d'étapes de validation AVANT la mise

à détection +tôt des erreurs et insuffisances

© Pr. Mohamed EL HAFTA 20 Cours / Réseaux de Petri / ENSEM 2021

– Un modèle est une représentation simplifiée capable de

© Pr. Mohamed EL HAFTA 21 Cours / Réseaux de Petri / ENSEM 2021

© Pr. Mohamed EL HAFTA 22 Cours / Réseaux de Petri / ENSEM 2021

• Modèles fondés sur des méthodes d’apprentissage :

© Pr. Mohamed EL HAFTA 23 Cours / Réseaux de Petri / ENSEM 2021

• Modèles à la fois formels (langages ayant une définition

– Réseaux de Petri (RdP) ou Petri Nets (PN) : Systèmes à Evénements

• processus logistiques : organisation des services, réseaux de transport…

• processus techniques : réseaux de télécommunications, réseaux

© Pr. Mohamed EL HAFTA 24 Cours / Réseaux de Petri / ENSEM 2021