Sur l'évaluation du comportement logique des systèmes de production manufacturière par méthodes exactes

par Benoît Trouillet

Thèse de doctorat en Productique, automatique et informatique industrielle

Sous la direction de Jean-Claude Gentina.

Soutenue en 2003

à Lille 1 .


  • Résumé

    Le problème considéré est celui de l'ordonnancement cyclique pour les systèmes de production manufacturière avec le respect de contraintes de fonctionnement. Cette problématique se traduit par l'étude de réseaux de Pétri dont les indéterminismes sont liés aux partages de ressources et des spécifications de fonctionnement imposées. L'idée consiste à considérer le comportement logique afin de garantir le fait que le réseau de Pétri sous-jacent respecte les contraintes de fonctionnement initialement imposées. Dans ce sens, une étude des partages de ressources s'impose afin de rendre déterministe le réseau de Pétri et de pouvoir envisager une mise en équations du modèle avec les outils existants ((max,+) ou (min,+)). Cette étude est réalisée par intégration des contraintes de fonctionnement dans le réseau de Pétri, c'est-à-dire une étude des contraintes de précédences entre les transitions en conflit d'accès à une même ressource. Ce qui se traduit par l'obtention d'un graphe d'événements éventuellement pondéré dont le fonctionnement est contraint par un système d'équations garantissant tous les séquencements possibles des ressources parmis les transitions en conflit.

  • Titre traduit

    On the logical behaviour evaluation of the manufacturing systems of production using exacts methods


  • Résumé

    L'obtention d'un graphe d'événements permet d'envisager une approche algébrique du comportement logique du SFPM en considérant un marquage initial quelconque. Dans le cas d'une étude d'un graphe d'événements pondéré, la présence de poids sur les arcs induit l'utilisation de l'opérateur div correspondant à la division euclidienne. Ainsi, une abstraction du comportement logique conduit à un système d'équations non-linéaire au sens du dioïde (min,+). Ce qui justifie l'étude d'une méthode de linéarisation permettant l'expression du comportement logique à l'aide d'un système d'équation linéaire. Pour une classe de réseaux de Pétri, un algorithme de linéarisation est proposé. Par conséquent, l'ensemble des séquencements possibles des opérations du modèle intial, avec le respect des contraintes de fonctionnement, correspond à l'ensemble des solutions du système d'équations linéaires obtenu. Le comportement logique du réseau de Pétri initial peut être étudié sur un horizon (nombre de steps) quelconque, dont le résultat correspond aux séquences de franchissements engendrant un comportement cyclique d'horizon prédéfini. Dans ce cadre l'évaluation des performances des solutions obtenues peut être effectuée à priori.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-2003-47
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.