Modélisation et validation des systèmes de production par les réseaux de Pétri colores

par Abdallah Guebla

Thèse de doctorat en Automatique et informatique appliquées

Sous la direction de Joël Favrel.

Soutenue en 1991

à Lyon, INSA , en partenariat avec LISPI - Informatique des Systèmes de Production Industrielle (Lyon, INSA) (laboratoire) .


  • Résumé

    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.

  • Titre traduit

    = Hodelling and validation of systems production by coloured petri nets


  • Résumé

    In many systems a number of different processes have a similar structure and behaviour. As far production systems are concerned methods and tools are needed from the specification ta the implantation, and also the essential validation. A consistent analysis, lies on modelling and performance evaluation, specially for complex systems. In all potential tools coloured Petri nets (CPN) are very convenient for these requirements. Their main advantage resides in their potential use for all application steps. In this model, which preserves the CPN properties, the model is clearer and has more concision. But, Mathematical analysis of CPN is not enough ta determine all these properties CPN can be compared to grammars if : - the firing sequence is described as an alphabet, - the job-shops multiple routing represents a regular language. Simulation is used to , answer specifications problems in order to provide better coordination and workshops measurements. An analogy between CPN an Artificial Intelligence can be made. Artificial Intelligence can be used ta take decisions in conflictual situations. In all our work long, examples of complex workshops modelling are presented and validate our chaise for the CPN model.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (165 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.

Où se trouve cette thèse ?

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