Modélisation et Vérification des systèmes de production distribués à l’aide d’UML et des réseaux de Petri

Abstract

Un processus de production est une partie importante d’un système de production. Dans ce travail, nous proposons une méthode pour la conception d’un superviseur de contrôle pour un processus de production distribué. Cette conception utilise UML pour la modélisation de l’aspect statique du processus et les réseaux de Petri pour la modélisation comportementale et la vérification des propriétés du processus. Le passage du diagramme UML vers les réseaux de Petri s’effectue de manière automatique, via une grammaire de graphes offerte par un outil de multi-modélisation ATOM3. La versificatrice des propriétés du processus de production est assurée par un outil adapté pour les réseaux de Petri, qui est INA.