0% ont trouvé ce document utile (0 vote)
116 vues13 pages

Introduction aux Réseaux de Pétri

Ce document présente une introduction aux réseaux de Pétri pour la modélisation des systèmes industriels. Il définit les réseaux de Pétri, présente les différents types, et explique leur utilisation pour la vérification et la validation des systèmes manufacturiers flexibles et des systèmes à événements discrets.

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)
116 vues13 pages

Introduction aux Réseaux de Pétri

Ce document présente une introduction aux réseaux de Pétri pour la modélisation des systèmes industriels. Il définit les réseaux de Pétri, présente les différents types, et explique leur utilisation pour la vérification et la validation des systèmes manufacturiers flexibles et des systèmes à événements discrets.

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

Introduction aux Réseaux


de Pétri

Mohamed NAIJA
[Link]@[Link]

2021-2022
Réseaux Industriels

Objectifs
 Modéliser un réseau industriel automatisé en
utilisant un RdP.
 Mener l'analyse et la validation d'un
système industriel complexe avant sa
mise en œuvre.
 Appliquer un contrôle de la sûreté de
fonctionnement d’un système industriel
automatisé.
 Utiliser des outils dédiés pour
l’automatisation du processus de V&V.

Présentation du cours 2
Réseaux Industriels

Sommaire général
 Chapitre I : Introduction aux Réseaux de
Pétri (RdP)
 Chapitre II : Les RdP ordinaires
 Chapitre III : Les RdP particuliers
 Chapitre IV : Les RdP colorés

Présentation du cours 3
Réseaux Industriels

La notion de Vérification &


Validation
 Le processus de V&V doit être appliqué à
chaque étape du développement.

 Ses objectifs:
• Montrer que le système n'a pas de défauts.
• Découvrir des défauts dans le système.
• S'assurer que le système construit est utile et
utilisable en pratique.

Présentation du cours 4
Réseaux Industriels

La notion de vérification &


validation
 Vérification
● « Avons-nous construit le produit bien? »
● i.e., le produit doit être conforme à sa
spécification

 Validation
● « Avons-nous construit le bon produit? »
● i.e., le produit doit faire ce que l'utilisateur a
besoin
Présentation du cours 5
Réseaux Industriels

Types de V&V
 Statique
● inspection/analyse statique (i.e., sans
exécution) du système pour découvrir des
problèmes ou prouver sa correction.

 Dynamique
● expérimenter et observer le comportement
à l'exécution du système.

Présentation du cours 6
Réseaux Industriels

Définition d’un RdP


 Un modèle mathématique permettant la
représentation de systèmes distribués
discrets (informatique, industriel), introduit
par Carl Adam Petri (1962).

 Un langage de modélisation rigoureux,


représenté sous forme d’un graphe biparti
orienté.

Présentation du cours 7
Réseaux Industriels

Définition d’un RdP

Présentation du cours 8
Réseaux Industriels

Définition d’un RdP


 Un réseau de pétri permet de modéliser le
comportement dynamique
d'un système réparable en présence de
pannes.

 Il traite les systèmes dynamiques,
ces systèmes passent d'état en état ou bout
de durées aléatoires (variation imprévisible
des besoins).

Présentation du cours 9
Réseaux Industriels

Les types des RdP


 RdP ordinaires

 RdP temporels

 RdP de haut niveau

Présentation du cours 10
Réseaux Industriels

Les RdP et les systèmes


industriels
 Systèmes Manufacturiers Flexibles (FMS)
Un système de production et / ou de manutention capable
d’accomplir des tâches différentes pour lesquelles
l’intervention de l’opérateur est minime ou n’est pas
requise.

 Le système est contrôlé par ordinateur


 Le système est conçu pour fabriquer une variété de
produit simultanément
 Des quantités qui peuvent être ajustées pour répondre
à la demande

Présentation du cours 11
Réseaux Industriels

Les RdP et les systèmes


industriels
 Systèmes à Evénements Discrets (SED)
o une structuration en taches parallèles,
asynchrones, soumises à des contraintes
temporelles strictes ou non.
o des contraintes de précédence (dans les
gammes de fabrication ou dans les
algorithmes) ;
o des effets de concurrence induits par le
partage des ressources.

Présentation du cours 12
Réseaux Industriels

Les RdP et les systèmes


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

Présentation du cours 13

Vous aimerez peut-être aussi