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 .

  • Titre traduit

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


  • Pas de résumé disponible.


  • 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.

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.