Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contribution des réseaux de Petri à l'étude de problèmes de recherche opérationnelle
| Auteur / Autrice : | Pascal Richard |
| Direction : | Christian Proust |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées, informatique |
| Date : | Soutenance en 1997 |
| Etablissement(s) : | Tours |
| Partenaire(s) de recherche : | autre partenaire : École polytechnique universitaire (Tours) |
Mots clés
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.