| Titre : | Analyse en arrière de marquages accessibles dans les réseaux de Pétri colorés pour le diagnostic à base de modèles causaux |
| Auteurs : | Ahmed Lessmi, 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, 2022 |
| Format : | 1 vol. (161 p.) / couv. ill. en coul / 30 cm |
| Langues: | Français |
| Mots-clés: | Diagnostic à base de modèle-modèles causaux-Réseaux de Pétri Colorés |
| Résumé : |
Dans ce rapport, nous présentons un outil qui utilise un modèle Réseau de Petri coloré, nommé CBPN (Colored Behavioural Petri Net) pour représenter un modèle de comportement causal. Ensuite, exploiter une technique d’analyse en arrière (CW-analyse) pour construire le graphe de marquages accessibles en arrière à partir d’un marquage final donné (Manifestations, celui représentant l’observation). Les solutions seront extraites à partir des marquages initiaux obtenus à la fin de la construction d’un tel graphe. |
| Sommaire : |
Table de matières…. I Liste des figures………………I Liste desAlgorithmes……………. II Introduction générale………. 1 Chapitre : 01 Diagnostic à base de RDP 1.1. Introduction……. 3 1.2. Théorie du diagnostic basé à modèle …………... 3 1.3. Approches de diagnostic basées à modèles …. 4 1.3.1. Diagnostic basé à cohérence ……. 5 1.3.2. Diagnostic abductif ………… 5 1.2.3. Approche d'intégration (unifiedframework) ……. 5 1.2.4. Modèles causaux …………….. 6 1.4. Diagnostic à base de réseaux de Petri 7 1.4.1. Réseaux de Pétri ………… 7 1.4.2. Diagnostic avec BPN. 9 1.4.3 Analyse-BW …. 11 1.5. Conclusion ……. 13 Chapitre : 02 Diagnostic à base de RDPC 2.1. Introduction ……. 14 2.2. Les Réseaux de Petri colorés (RDPCs) ….. 14 2.3. Réseaux de Petri de couleur causale 16 2.4. Réseaux de Petri comportemental coloré (Colored Behavioral Petri Net) ………. 17 2.4.1. Le Modèle CBPN ……….. 18 2.4.2. La Technique d’Analyse CW …. 23 2.5. Conclusion ……………… 26 Chapitre : 03 Développement d’un outil de diagnostic 3.1. Introduction ………. 27 3.2. Analyse des besoins …………. 27 3.3. Conception ………………………. 27 3.3.1. Conception générale …….. 28 3.3.2. Conception Détaillée ……… 28 3.3.2.1. Les Composants (Modules) …… 29 3.3.2.2. Structure de données ….. 29II 3.3.2.3. Les Algorithmes 31 3.4. Implémentation (Réalisation).. 34 3.4.1. Outils et langages de développement 34 3.4.1.1 Langage de programmation Python 34 3.4.1.2 Éditeur de programmation PyCharm 35 3.4.1.3 La bibliothèque Snakes 29 3.4.1.3.1. Quelque Modules de snakes : 35 3.5. Conclusion 38 Conclusion Générale…39 Bibliographie……… V |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/733 | Mémoire master | bibliothèque sciences exactes | Consultable |
