| Titre : | 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 |
| Auteurs : | Hamza Fradj, Auteur ; Hammadi Bennoui, Directeur de thèse |
| Type de document : | Monographie imprimée |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2018 |
| Format : | 1 vol. (56 p.) / 30 cm |
| Langues: | Français |
| Mots-clés: | CCPNs,modèles causaux,places de frontières,diagnostic basé-modèle. |
| Résumé : |
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 exten-sion 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éfinis 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 final correspondant à l'observation faite sur le système sous diagnostic. Notre apport consiste donc à définir un protocole de coopération entre CCPNs (entre diag- nostiqueurs locaux) pour la vérification 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. |
| Sommaire : |
1 Concepts préliminaires 4 1.1 Diagnostic centralisé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.1 Définition (Modèle du système) . . . . . . . . . . . . . . . . . . . . . 5 1.1.2 Définition (Diagnostic) . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.3 Définition (Symptôme) . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.4 Définition (Conit) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.5 Définition (Observation) . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.1.6 Définition (unicatrice) . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2 Diagnostic à base des réseaux de Petri . . . . . . . . . . . . . . . . . . . . . 8 1.2.1 Réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.2 Les réseaux de Petri colorés (RdPCs) . . . . . . . . . . . . . . . . . 13 1.2.3 Définition d'un modèle BPN . . . . . . . . . . . . . . . . . . . . . . 17 1.3 Diagnostic par RdPCs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2 Les CCPNs comme outil pour le diagnostic à base de modèles causaux 20 2.1 Causal Colored Petri Nets (CCPNs) . . . . . . . . . . . . . . . . . . . . . . 20 2.1.1 Définition (Un CCPN ) . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.1.2 Définition (Un CCPN marqué) . . . . . . . . . . . . . . . . . . . . . 21 2.1.3 Définition (Un CCPN sûr) . . . . . . . . . . . . . . . . . . . . . . . 21 2.1.4 Définition (Instanciation) . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.1.5 Définition (transition franchissable) . . . . . . . . . . . . . . . . . . . 22 2.1.6 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.1.7 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.1.8 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.2 Le diagnostic avec CCPN . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2.4 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.3 Résolution de problèmes de diagnostic avec CCPNs . . . . . . . . . . . . . . 28 3 Développement d'un outil de diagnostic distribué 37 3.4 Conclusion |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/351 | Mémoire master | bibliothèque sciences exactes | Consultable |
