Contribution des réseaux de Petri à l'étude de problèmes de recherche opérationnelle

par Pascal Richard

Thèse de doctorat en Sciences appliquées, informatique

Sous la direction de Christian Proust.


  • Résumé

    Un réseau de Petri est un modèle mathématique utilisé pour modéliser et analyser les systèmes à événements discrets. Nous présentons dans ce mémoire leur utilisation pour des problèmes de recherche opérationnelle. L'état de l'art montre l'intérêt de cet outil pour aborder cette problématique. L'étroit lien entre la programmation mathématique et les réseaux de Petri est ensuite mis en évidence. Précisément, nous montrons que le problème de programmation mathématique se réduit polynomialement à un problème d'ordonnancement dans les réseaux de Petri. Ce résultat repose sur une nouvelle condition nécessaire et suffisante d'accessibilité pour l'équation des marquages. Nous présentons enfin une application industrielle de ces résultats dans le cadre d'un logiciel d'aide à la décision pour la planification de production dans l'industrie du verre.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (173 p.)
  • Annexes : Bibliogr. p. 165-173

Où se trouve cette thèse ?

  • Bibliothèque : Université François Rabelais. Service commun de la documentation. Section Sciences-Pharmacie.
  • Disponible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : RICHARD c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.