Précédent : Les réseaux de Petri Remonter : Les réseaux de Petri Suivant : Vérification de l'absence de blocage

Supervision des systèmes de production

Participant : Xiaolan Xie

Nous considérons dans ce travail de recherche un système de production dans lequel la production est déclenchée par des ordres de fabrication. Les principales caractéristiques des systèmes considérés sont (i) l'existence d'opérations d'assemblage et de désassemblage, (ii) l'existence d'opérations nécessitant la présence simultanée de plusieurs ressources, (iii) l'utilisation par un même produit d'une ressource pour plusieurs opérations consécutives. Le problème de supervision consiste à vérifier si le lancement d'un ordre de fabrication conduit à un blocage. Nous avons proposé une approche réseaux de Petri basée sur les siphons, les trappes et la programmation linéaire. Cette approche garantit qu'aucun produit n'est bloqué, que chaque ordre de fabrication peut être lancé, et qu'il est toujours possible de revenir à l'état initial du système.