Contribution des réseaux de Petri à l'étude de problèmes de recherche opérationnelle
暂无分享,去创建一个
Un reseau de Petri est un modele mathematique utilise pour modeliser et analyser les systemes a evenements discrets. Nous presentons dans ce memoire leur utilisation pour des problemes de recherche operationnelle. L'etat de l'art montre l'interet de cet outil pour aborder cette problematique. L'etroit lien entre la programmation mathematique et les reseaux de Petri est ensuite mis en evidence. Precisement, nous montrons que le probleme de programmation mathematique se reduit polynomialement a un probleme d'ordonnancement dans les reseaux de Petri. Ce resultat repose sur une nouvelle condition necessaire et suffisante d'accessibilite pour l'equation des marquages. Nous presentons enfin une application industrielle de ces resultats dans le cadre d'un logiciel d'aide a la decision pour la planification de production dans l'industrie du verre.