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

= Hodelling and validation of systems production by coloured petri nets

• 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, INSA1991-1995)

Mots clés

Mots clés contrôlés

Variétés invariantes

Petri, Réseaux de

Modèles mathématiques

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.

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.