TABS : un outil logiciel d'ordonnancement de la production basé sur les automates temporisés
Résumé
Ce papier présente un outil logiciel d'ordonnancement d'ateliers. Cet outil permet à partir de la définition d'un problème, d'instancier automatiquement des patrons de modélisation à base d'automates temporisés, de résoudre ce problème et d'afficher une solution sous la forme d'un diagramme de GANTT. Des premiers travaux ont montré la pertinence d'une modélisation par automates temporisés pour l'obtention d'un ordonnancement par recherche d'atteignabilité. L'objectif de ce papier est de présenter l'outil et l'instanciation des modèles en fonction du problème, permettant à un utilisateur non spécialiste de construire son modèle sans prérequis particulier quant aux outils SED.