Un protocole de coopération entre réseaux de petri coloré avec places communes pour le diagnostic basé-modèles causaux des systèmes distribués

Abstract

Dans le cadre de ce projet, nous avons présenté une extension du formalisme CCPN qu'à été proposé comme outil de représentation de modèles causax de comportement. Une extension pour permettre de prendre en compte l'aspect modularité ; c'est-à-dire, le modèle du système en question sera donné sous forme de plusieurs modèles CCPNs en interaction. Cette dernière est modélisée via l'usage de places communes entre modèles CCPNs. En fait, les CCPNs ont été dé nis pour permettre d'accomplir le diagnostic centralisé à base de modèles causaux. La technique de diagnostic exploite une analyse en arrière du graphe d'accessibilté à partir d'un marquage nal correspondant à l'observation faite sur le système sous diagnostic. Notre apport consiste donc à dé nir un protocole de coopération entre CCPNs (entre diagnostiqueurs locaux) pour la véri cation de la cohérence globale entre les diagnostics obltenus localement. Ceci est accompli via une analyse en avant des graphes d'accessilité construits par chaque diagnostiqueur depuis chaque diagnostic calculté localement. Le développement d'un prototype logiciel implémentant un tel protocol est décrit.