Thèse soutenue

Modélisation et validation des systèmes de production par les réseaux de Pétri colores
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Abdallah Guebla
Direction : Joël Favrel
Type : Thèse de doctorat
Discipline(s) : Automatique et informatique appliquées
Date : Soutenance en 1991
Etablissement(s) : Lyon, INSA
Partenaire(s) de recherche : Laboratoire : Informatique des Systèmes de Production Industrielle (LISPI) (Lyon, INSA)

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

Nombreux sont les processus différents qui présentent une structure et un fonctionnement similaires. Lorsque l'on s'intéresse aux systèmes de production, il est nécessaire de pouvoir disposer de méthodes et d'outils permettant de mener à bien les différentes étapes allant de la spécification à l'implantation, en passant par l'indispensable validation. La modélisation et l'évaluation des performances des systèmes complexes sont les éléments recherchés de toute analyse cohérente. Parmi ces outils, les réseaux de Petri colorés (EdPC) répondent parfaitement à ces exigences. Ils ont l'avantage d'être conservés tout au long de l'application considérée. Le modèle obtenu est plus concis et plus clair et les propriétés des réseaux de Petri restent valables. L'inconvénient, c'est que l'analyse mathématique des RdPC n'est pas suffisante pour déterminer toutes ces propriétés. Le fait qu'une séquence de franchissements peut être considérée comme un alphabet, la gamme multiple des Job-shops comme un langage régulier et la couleur des jetons propre aux RdPC comme des langages réguliers, ceux-ci justifient bien et expliquent doc la correspondance entre les RdPC et les grammaires. La simulation, quant à elle, répond aux exigences du cahier des charges pour une meilleure coordination et un bon dimensionnement de l'atelier. · Il est intéressant de faire une analogie entre les RdPC et l'approche Intelligence Artificielle. Des exemples de modélisation d'ateliers illustrent notre travail et le choix du RdPC.