Résolution intégrée d'ordonnancement et d'affectation : adaptation d'une méthode fondée sur les réseaux de Petri et la logique linéaire

C. Mancel*, M-J. Huguet, P. Lopez, M. Medjoudj, R. Valette
LAAS-CNRS, F-31077 Toulouse Cedex 4, France
* also
GFI Consulting, 2-3 Passage de l'Europe, F-31400 Toulouse France.

Présenté à :
MOSIM'03, 23-25 avril 2003, Toulouse (France), p.293-298
Editions SCS ISBN : 3-936150-24-9

Résumé:

Cet article montre l'application d'heuristiques développées dans le cadre de la recherche opérationnelle à des problèmes modélisés par réseaux de Petri. Le problème d'affectation et d'ordonnancement est transformé en un problème d'accessibilité, et la recherche arborescente est fondée sur la construction d'un ensemble d'arbres de preuve dans le cadre du calcul des séquents. Des indicateurs peuvent être introduits pour éviter l'exploration de tout le voisinage de la première solution trouvée.