Les réseaux de Pétri
Introduction
Deux “familles“ de systèmes existent en Automatique. L’une traite des problèmes
concernant les systèmes continus et l’autre s’intéresse aux systèmes à événements discrets
(S.E.D.).
Les systèmes continus sont modélisés par des équations différentielles ou aux dérivées
partielles et le temps apparaît explicitement de façon continue*. D’un point de vue général,
ces systèmes sont modélisés par des équations issues des lois de la physique
Dans un système à évènements discrets (SED), 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.
Introduction
Les caractéristiques principales de ce type de systèmes sont :
- leur parallélisme,
- leur synchronisation,
- le choix d’ordonnancement
Les principaux problèmes posés par les S.E.D sont :
- la spécification du cahier des charges,
- la modélisation,
- la validation logique,
- l’évaluation de performances,
- le dimensionnement,
- l’optimisation.
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 ?
Exemple 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.
Exemple2 : Organisation du service clients d’une PME
Comment décrire la procédure qui doit être exécutée entre le moment où on reçoit une commande d’un
client, et le moment où on l’a traitée ?
Comment Décrire et analyser la conception de ces systèmes ?
De nombreux outils spécifiques existent pour aider le concepteur dans chacune de ces tâches, mais très rares sont ceux
capables d’être efficaces. Pour beaucoup les réseaux de Petri forment un ensemble d’outils très performant permettant
de répondre ces objectifs.
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 Petri (1962). Il est également un langage de modélisation, représenté sous forme
d’un graphe biparti orienté.
Les réseaux de Pétri : Principe de de modélisation statique
2.1. Concepts de base
2.1.1Notion de graphe orienté
Un graphe orienté comporte :
un ensemble fini de places, P={P1, P2, P3, ..., Pm}, symbolisées par des cercles et représentant des conditions
qui traduit l’état d’une ressource du système (machine libre, stock vide, convoyeur à l’arrêt, …).
un ensemble fini de transitions, T={T1, T2, T3, ..., Tn}, symbolisées par des tirets et représentant l'ensemble des
événements (les actions se déroulant dans le système) dont l'occurrence provoque la modification de l'état
du système :
un ensemble fini d'arcs orientés qui assurent la liaison d'une place vers une transition ou d'une transition vers
une place
Un graphe orienté est dit biparti, c'est-à-dire qu'un arc relie alternativement une place à une transition et une
transition à une place. Ainsi les situations suivantes sont interdites.
2.1.2. Le vocabulaire
Condition
Une condition est la description de l’état d’une ressource du système modélisé:
• une machine est au repos,
• une machine est en réparation
• une commande est en attente
Une condition est soit vraie, soit fausse.
Un état du système peut être décrit comme un ensemble de
conditions.
Evénement
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
• début de traitement d’une commande
Précondition : l’ensemble des prédicats qui doivent être vrai pour que l’action puisse être effectuée.
Postconditions : l’ensemble des prédicats qui sont vrai à la fin de l’action
Exemple :
Système : imprimante
État initial : repos
Fonctionnement : Quand elle reçoit une demande d’impression , elle passe dans l’état « réception des données », puis
quand elle a reçue les données, elle passe dans l’état « en impression », et enfin quand l’impression est terminée, elle
réinitialise ses paramètre et revient à l’état « au repos »
• Événements --> actions effectuées par l’imprimante
• Déclenchement d’une action est conditionné par l’état de l’imprimante Exemple : «fin d’impression» ne peut se
produire que si l’imprimante est en cours d’impression.
Concepts de base :
– Satisfaction d’une Condition = Jeton dans une Place
Conditions Evénements
Début_manger
manger
fin_manger
4 70 4