Contribution des réseaux de Petri à l'étude de problèmes de recherche opérationnelle / Pascal Richard ; sous la direction de Christian Proust

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1997

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Petri, Réseaux de

Programmation (mathématiques)

Production -- Planification

Ordonnancement (gestion)

Proust, Christian (1951-.... ; professeur en informatique) (Directeur de thèse / thesis advisor)

École polytechnique universitaire (Tours) (Organisme de soutenance / degree-grantor)

Université de Tours (1971-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : 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.