Reconfiguration dynamique d'une ligne d'assemblage par recherche d'atteignabilité sur un réseau d'automates communicants.

Résumé Cet article propose une méthode s'appuyant sur la recherche d'atteignabilité sur un réseau d'automates communicants. Celle-ci est utilisée pour rééquilibrer dynamiquement une ligne d'assemblage lorsqu'une perturbation survient. Le but de la méthode est de réallouer dynamiquement les tâches sur les postes de travail de cette ligne. Un réseau d'automates est utilisé pour modéliser le système et une solution est obtenue par la trace fournie par le logiciel de model-checking effectuant la recherche d'atteignabilité. La méthode est illustrée sur un cas d'étude.