Analyse et modélisation des systèmes de production par les réseaux de Petri

par Kwang Hyung Lee

Thèse de doctorat en Informatique et automatique appliquées aux systèmes industriels et de gestion

Sous la direction de Joël Favrel.

Soutenue en 1985

à Lyon, INSA , en partenariat avec LIA - Laboratoire d'Informatique Appliquée (Lyon) (laboratoire) .


  • Résumé

    L'étude de l a complexité des systèmes de production est aggravée par la rareté des méthodes et des outils d'analyse spécifiques. Nous avons choisi les réseaux de Petri comme méthode d' analyse et de conception , et comme langage de communication entre les concepteurs. L' aptitude des réseaux de Petri pour ana lyser et modéliser les systèmes de production est étudiée et comparée avec celle des autres modèles graphiques majeurs. Nous proposons une méthode de réduction hiérarchique des réseaux de Petri pour analyser l es réseaux complexes. Cette méthode conserve les propriétés de réseau vivant, borné et réinitialisable. Elle permet de décomposer hiérarchiquement un réseau complexe et de l’analyser par son réseau réduit et par ses sous-réseaux. La mise en œuvre de ce t te procédure de réduction est automatisée. A titre d'illustration, un atelier flexible a été modélisé par un réseau de Petri, et ce réseau a pu être réduit par cette procédure, en facilitant ainsi son analyse. Cette méthode et son application ont permis : - d'enrichir les possibilités d'utilisation des réseaux de Petri dans les systèmes de production, - de poser les bases de nouvelles recherches

  • Titre traduit

    = odelling and analysis of production systems by petri nets for computer control of production


  • Résumé

    In the f ace of the increased complexity of production systems, computer may allow managers an easy problem solving in production control. This trend of computerization has brought about a necessity of perfect understanding of such systems. The need of a tool or method for analysis of complex systems has been emphasized. In this thesis, Petri nets are chosen as a method of analysis and conceptualisation of automated production systems, and as a common language among computer scientists and production managers. The aptitude of Petri nets for modelling and analysis of production systems is studied and compared with other principal graphic models. The comparative study shows that the Petri nets has the best modelling and analysing power for the production systems. It is also pointed out that the space of reachable states of a Petri net is large in general and often it gives difficulties in analysing a complex net. A new method of hierarchical reduction on petri net is proposed et analyse a complex net. The prosed method conserves the properties of petri net such as liveness, boundedness and proper termination. This method allows to decompose hierarchically a net ant to analyse it by its reduced net and its sub-nets. This procedure od reduction has been automated. As an application, a flexible manufacturing system was modelled by petri and this net has been reduced by this automated process in facilitating its analysis

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Claude Bernard (Villeurbanne, Rhône). Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • 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(768)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.