La Décomposition et la Distribution de Formalisme Grafcet sur un Réseau de Communication

Abstract

Dans cet article, nous allons présenter une méthode qui permet de répartir le formalisme Grafcet sur un réseau de communication synchrone. Donc, notre objectif essentiel était d’aborder le problème lié à la mise en oeuvre distribuée d’une commande spécifiée par ce formalisme synchrone. On s’intéresse à l'approche de décomposition de formalisme Grafcet sur un réseau industriel. Cette démarche introduite dans [4][5] à permet de garantir la similarité entre le comportement distribué et le comportement centralisé de Grafcet en utilisant un réseau de communication synchrone. La conception d'un système de contrôle-commande suivant cette approche est réalisée à partir d'une spécification centralisée suivant une opération de décomposition sur le même modèle synchrone. Cette technique de répartition des diagrammes de Grafcets sur un système de communication est différente des travaux de Caillaud et Benveniste[3] qui décrivent la spécification centralisée compilée en un modèle de type automate différent du modèle de spécification initiale.