Modelisation et validation des systemes de production par les reseaux de petri colores

par ABDALLAH GUEBLA

Thèse de doctorat en Sciences appliquées

Sous la direction de JOEL FAVRE.

Soutenue en 1991

à Villeurbanne, INSA .

    mots clés mots clés


  • Résumé

    Nombreux sont les processus differents qui presentent une structure et un fonctionnement similaires. Lorsque l'on s'interesse aux systemes de production, il est necessaire de pouvoir disposer de methodes et d'outils permettant de mener a bien les differentes etapes allant de la specification a l'implantation, en passant par l'indispensable validation. La modelisation et l'evolution des performances des systemes complexes sont les elements recherches de toute analyse coherente. Parmi ces outils, les reseaux de petri colores (edpc) repondent parfaitement a ces exigences. Ils ont l'avantage d'etre conserves tout au long de l'application consideree. Le modele obtenu est plus concis et plus clair et les proprietes des reseaux de petri restent valables. L'inconvenient, c'est que l'analyse mathematique des rdpc n'est pas suffisante pour determiner toutes ces proprietes. Le fait qu'une sequence de franchissements peut etre consideree comme un alphabet, la gamme multiple des job-shops comme un langage regulier et la couleur des jetons propre aux rdpc comme des langages reguliers, ceux-ci justifient bien et expliquent donc la correspondance entre les pdpc et les grammaires. La simulation, quant a elle, repond aux exigences du cahier des charges pour une meilleure coordination et un bon dimensionnement de l'atelier. Il est interessant de faire une analogie entre les rtdpc et l'approche intelligence artificielle. Des exemples de modelisation d'ateliers illustrent notre travail et le choix du rdpc


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 66 REF

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.