Réseau de Pétri

M1 RISC
Faten Bellakhdhar

24/12/2023 Faten BELLAKHDHAR 1

 Chapitre 1

Introduction
Comment réussir à appréhender le comportement des systèmes technologiques
de plus en plus complexes, afin de les concevoir, de les réaliser et/ou de les
commander à partir d’un cahier des charges ?

Celui-ci est en général défini par différents intervenants, intéressés par les
aspects fonctionnels du produit, les besoins du consommateur, les contraintes de
coût, le marketing, etc...

Du fait de la complexité de plus en plus forte des systèmes technologiques, il

apparaît de plus en plus nécessaire de disposer de méthodes et d’outils de
conception, de réalisation et/ou de commande qui soient particulièrement
efficaces.
Au centre de ces méthodes et de ces outils, se trouve en général la modélisation
des processus.
24/12/2023 Faten BELLAKHDHAR 2
 Chapitre 1

Introduction
Un réseau de Pétri est un modèle mathématique permettant la représentation de
systèmes distribués discrets (informatique, industriel).

Introduit par Pétri (1962). est également un langage de modélisation, représenté

sous forme d’un graphe biparti orienté.

Etude des systèmes discrets dont les champs d’application sont les systèmes de
production (caractérisés par une variation imprévisible des besoins).

24/12/2023 Faten BELLAKHDHAR 3

 Chapitre 1

Introduction
• Ils permettent de décrire de manière précise mais non formelle la
structure d’un système,
• Ils offrent un support graphique de conception,
• Ils permettent de décrire un système étape par étape, en
décomposant en éléments plus simples les éléments constitutifs
initiaux du système,
• Ils permettent de décrire à l’aide d’un même support de base, à la fois
la structure et la dynamique d’un système,
• Ils permettent de passer d’une description graphique d’un système à
une description formelle permettant l’analyse mathématique du
système (cohérence).

24/12/2023 Faten BELLAKHDHAR 4

 Chapitre 1

Introduction
Les principaux utilisateurs de ces réseaux sont les informaticiens et les
automaticiens. Cependant c’est un outil assez général pour modéliser
des phénomènes très variés. Il permet notamment :
• la modélisation des systèmes informatiques,
• l’évaluation des performances des systèmes discrets, des
interfaces homme-machine,
• la commande des ateliers de fabrication,
• la conception de systèmes temps réel,
• la modélisation des protocoles de communication,
• la modélisation des chaines de production (de fabrication).

24/12/2023 Faten BELLAKHDHAR 5

 Chapitre 1

Introduction
Un modèle est une représentation simplifiée capable de reproduire de
façon pertinente le comportement partiel d’un système.

Modèles mathématiques
équations aux dérivées partielles : mécanique des fluides, géologie,
météorologie, Océanographie

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,…

Modèles à la fois formels et semi-graphiques : réseaux de Petri (RdP)

Systèmes à Evénements Discrets (SED)

24/12/2023 Faten BELLAKHDHAR 6

 Chapitre 1

Introduction
Système à Evénements Discrets (SED), caractérisés par :

• Des contraintes de précédence (dans les gammes de fabrication ou dans

les algorithmes) ;
• Des effets de concurrence induits par le partage des ressources ;
• Une structuration en tâches parallèles, asynchrones, soumises à des
contraintes temporelles strictes ou non.

Systèmes complexes et couteux à mettre en œuvre :

 Valider les spécification ;
 Prévoir les performances ;
 Optimiser le fonctionnement (théorie des files d’attentes, simulation,
etc.).

24/12/2023 Faten BELLAKHDHAR 7

 Chapitre 1

Introduction
Pour un système réel :

• comprendre (comportement)
• évaluer les performances (vitesse, capacité, coût, rendement, …)
• optimiser (par exemple : déterminer le nombre minimum de ressources
pour qu’ une charge de travail donnée soit accomplie en un temps
déterminé)
• prévoir les évolutions, notamment dans des situations extrêmes
(processus très lents, ruptures, accidents, …)

Pour un projet :
• valider (comportement, performances)
• optimiser

24/12/2023 Faten BELLAKHDHAR 8

 Chapitre 1

Historique des SED

La théorie des systèmes et de leur commande, alias l'Automatique, s'est
intéressée dès ses origines à des systèmes physiques généralement
décrits par les équations différentielles ou aux dérivées partielles
auxquelles obéissent les phénomènes physiques correspondants.

L'avènement des ordinateurs conduit à décrire parfois l'évolution de ces

systèmes par des équations dynamiques en temps discret, ce qui ne remet pas en
cause la nature continue de cette évolution.

Par ailleurs, la linéarité est une propriété mathématique intéressante qui

simplifie beaucoup la manipulation de modèles mathématiques.

Dans les années 70 et 80, l'Automatique non linéaire a commencé à se

développer, après que les années 60 aient été l'âge d'or de l'Automatique linéaire.
L'Automatique non linéaire s'adresse généralement à des équations dynamiques
différentiables.

24/12/2023 Faten BELLAKHDHAR 9

 Chapitre 1

Historique des SED

Avec les progrès de la technologie, l'Homme s'est mis à construire des
systèmes de plus en plus complexes et complètement artificiels, du
moins en ce qui concerne leur mode de fonctionnement considéré à un
niveau de conceptualisation adapté à leur gestion ou à leur commande.

Citons les :
- réseaux de transport,
- réseaux de communications et d'ordinateurs,
- unités centrales d'ordinateurs elles-mêmes,
- ateliers de production manufacturière, notamment dans leur
version "ateliers flexibles" moderne

24/12/2023 Faten BELLAKHDHAR 10

 Chapitre 1

Historique des SED

Dans ces systèmes, l'essentiel de l'enchaînement dynamique des tâches
provient de phénomènes:

. • d'exclusion mutuelle ou compétition dans

• de synchronisation:
l'utilisation de ressources communes, ce
qui nécessite une politique d'arbitrage
ou de priorité, questions généralement
désignées sous le terme générique
d'ordonnancement.

24/12/2023 Faten BELLAKHDHAR 11

 Chapitre 1

Historique des SED

Ce type de dynamique échappe totalement à la modélisation par
équations différentielles ou leurs équivalents en temps discret.

Ces systèmes dynamiques, ont été négligés par les automaticiens et ont
plutôt été étudiés par les spécialistes de Recherche Opérationnelle, de
Productique, d'Informatique, etc……..

Au début des années 80, c'est la prise en compte de ces systèmes par le monde de
l'Automatique. On les a alors appelés "Systèmes à Événements Discrets" ( SED).

24/12/2023 Faten BELLAKHDHAR 12

 Chapitre 1

Définition d’un système

« 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 » (Meinadier98).

24/12/2023 Faten BELLAKHDHAR 13

 Chapitre 1

Systèmes à événements discrets

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, l'état change seulement à certains

instants lors de l'occurrence d'évènements particuliers (état stable entre ces
instants)

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

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

24/12/2023 Faten BELLAKHDHAR 14

 Chapitre 1

Systèmes à événements discrets

24/12/2023 Faten BELLAKHDHAR 15

 Chapitre 1

Systèmes à événements discrets

Le mot "discret" ne signifie ni "temps discret", ni "état discret" mais ce mot réfère au
fait que la dynamique est composée d'événements qui peuvent d'ailleurs avoir une
évolution continue : ce qui nous intéresse, c'est le début et la fin de ces événements,
dans la mesure où les fins conditionnent de nouveaux débuts.

Un SED est un système dynamique à espace d’états discrets dont les transitions
entre les états sont effectuées suite à l occurrence d’événements.
L’occurrence d’un événement est instantanée dans le sens où elle n’a pas de durée.
Un SED demeure dans le même état en l’absence d’événements.

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.

Seuls les faits importants pour l’étude (certains événements) sont considérés :
- arrivée ou départ d’une ressource (objet, personne, …)
- début ou fin d’une action (d’un processus)
24/12/2023 Faten BELLAKHDHAR 16
 Chapitre 1
Etapes de conception des systèmes

24/12/2023 Faten BELLAKHDHAR 17

 Chapitre 1

Systèmes à événements discrets

Règle de conduite :
faire abstraction des détails qui ne contribuent pas à l’élaboration
des résultats attendus.

Exemple : une station d’essence

• Résultats attendus
Taille file d’attente, temps d’attente, …
• Aspects intéressants
- Pompes : libre, occupée, nombre
- Véhicules : type, arrivée, attente dans une file, service en cours, départ
• Aspects inintéressants
Véhicules : marque, couleur, …

24/12/2023 Faten BELLAKHDHAR 18

 Chapitre 1

Systèmes à événements discrets

Le processus complet:

Le processus simplifié:

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

- Distribution statistique des arrivées de véhicules
- La durée globale du service

24/12/2023 Faten BELLAKHDHAR 19

 Chapitre 1

Les réseaux de Petri (RdP)

Carl Adam Petri (1926, Leipzig, Deutschland)
Thèse de doctorat en 1962 (Kommunikation mit Automaten)

Idée de départ :
– Un ensemble d'automates a états finis qui communiquent
– Avoir à la fois la représentation des automates et celle des communications.
• communications asynchrones par échange de messages.
• communication synchrones par rendez-vous, y synchronisations, ressources
partagées.

=> Graphes avec 2 types de nœuds « places » et « transitions »

24/12/2023 Faten BELLAKHDHAR 20

 Chapitre 1

Les réseaux de Petri (RdP

Systèmes de production, Autom. Prog. Ind., Grafcet

Evaluation des performances, simulation à événements discrets
– Validation de protocoles de communication
– Systèmes temps réels, systèmes distribues, génie logiciel
– Systèmes d'information, gestion, interfaces homme machine
– Modèles de raisonnement, planification

24/12/2023 Faten BELLAKHDHAR 21

 Chapitre 1

Problème Réel 1 : Atelier flexible de production

On veut construire un Atelier Flexible de

production comportant des Machines-Outils
à Commande Numérique.
• On doit répondre aux questions suivantes :
– Comment l’organiser?
– Combien de machines ?
– Quelle logistique entre les
machines ?
• Chaque machine ne peut contenir qu'une
seule pièce.
• Les transferts sont assurés par le robot, il n'y
a pas de stock intermédiaire.

24/12/2023 Faten BELLAKHDHAR 22

 Chapitre 1

Problème Réel 2: Organisation du service clients d'une PME

• Comment décrire la procédure

qui doit être exécutée entre le
moment ou on reçoit une
commande d’un client, et le
moment où on l’a traitée.

• Est-elle correcte ?

24/12/2023 Faten BELLAKHDHAR 23

 Chapitre 1
Problème Réel 3 : Conception d'un processus chimique

24/12/2023 Faten BELLAKHDHAR 24

 Chapitre 1

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

Exemple d’un SED

Machine à trois états : arrêt, marche et panne.
On suppose qu’il peut y avoir l’occurrence de
quatre événements :
d : Début de travail
f : Fin de travail
t :Panne
r : Réparation

L’ensemble des états de ce système est présenté par l’ensemble E = {a m p}

24/12/2023 Faten BELLAKHDHAR 25

 Chapitre 1

Présentation informelle
Le formalisme des réseaux de Pétri est un outil permettant l'étude de
systèmes dynamiques et discrets.

Il s'agit d'une représentation mathématique permettant la modélisation

d'un système.

L'analyse d'un réseau de Pétri peut révéler des caractéristiques importantes

du système concernant sa structure et son comportement dynamique.

Les résultats de cette analyse sont utilisés pour évaluer le système et en

permettre la modification et/ou l’amélioration le cas échéant.

24/12/2023 Faten BELLAKHDHAR 26

 Chapitre 1

Présentation informelle
Démarche générale

24/12/2023 Faten BELLAKHDHAR 27