| Titre : | Un outil de transformation de BPNs vers CBPNs |
| Auteurs : | Amira AILANE, 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, 2020 |
| Format : | 1 vol. (54 p.) / ill. / 29 cm |
| Langues: | Français |
| Résumé : | Dans ce rapport, nous présentons un outil qui permet d’éditer un réseau de Petri comportemental et de le transformer en un réseau de Petri comportemental coloré. L’objectif d’introduction des réseaux de Petri comportementaux colorés est d’attaquer le problème de complexité spatiale des modèles non colorés. La conversion est faite par un algorithme de transformation. |
| Sommaire : |
1 Concepts de base 2
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1 Réseaux de Petri (Définition) . . . . . . . . . . . . . . . . . . 3 1.1.1 Réseaux de Petri (Formellement) . . . . . . . . . . . . 4 1.1.2 Propriétés des RDPs . . . . . . . . . . . . . . . . . . . 5 1.1.3 Analyse des RDPs . . . . . . . . . . . . . . . . . . . . 6 1.2 Réseaux de Petri colorés . . . . . . . . . . . . . . . . . . . . . 6 1.2.1 Multi-ensemble . . . . . . . . . . . . . . . . . . . . . . 6 1.2.2 Réseaux de Petri colorés(Formellement) . . . . . . . . . 7 1.3 Diagnostic à base de modèle . . . . . . . . . . . . . . . . . . . 8 1.3.1 Diagnostic à base de cohérence . . . . . . . . . . . . . 9 1.3.2 Diagnostic à base d’abduction . . . . . . . . . . . . . 9 1.3.3 Approche unificative du DBM . . . . . . . . . . . . . . 9 1.4 Behavioral Petri Nets(Réseaux de Petri comportementaux ) . 10 1.4.1 Modèle BPN . . . . . . . . . . . . . . . . . . . . . . . 11 1.4.2 B-W analyse . . . . . . . . . . . . . . . . . . . . . . . . 12 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2 Transformation de BPNs aux CBPNs 14 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.1 Colored Behavioral Petri Net(réseaux de Petri colorés comportementaux) 15 2.1.1 Colored Behavioral Petri Net(Formellement) . . . . . . 15 2.1.2 Réseaux de Petri colorés pour le diagnostic à base de modèle . 17 2.1.3 CBPN pour le diagnostic à base de modèle . . . . . . . 18 2.2 Processus de diagnostic à base de CBPNs . . . . . . . . . . . . 19 2.2.1 Formalisation de problème de diagnostic utilisant CBPNs 19 2.2.2 Résolution de problème de diagnostic . . . . . . . . . . 20 2.2.3 Procédure de transformation de BPN à CBPN . . . . . 23 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 II Développement d’un outil de transformation d’un BPN vers un CBPN 26 3 Analyse et modélisation 27 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.1 Spécification et analyse de besoin . . . . . . . . . . . . . . . . 28 3.2 Conception . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.2.1 Conception globale . . . . . . . . . . . . . . . . . . . . 29 3.2.2 Conception détaillée . . . . . . . . . . . . . . . . . . . 32 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 4 Implémentation 39 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 4.1 Outils et langages de développement . . . . . . . . . . . . . . 40 4.1.1 Langage de programmation Python . . . . . . . . . . . 40 4.1.2 Éditeur de programmation PyCharm . . . . . . . . . . 40 4.1.3 Package Tkinter(Tool Kit Interface) . . . . . . . . . . 41 4.1.4 Système de préparation de documents LATEX . . . . . . 41 4.1.5 Éditeur (TEX MAKER) . . . . . . . . . . . . . . . . . 41 4.1.6 XML(Extensible Markup Language) . . . . . . . . . . 41 4.2 Implémentation . . . . . . . . . . . . . . . . . . . . . . . . . . 42 4.2.1 L’application principale . . . . . . . . . . . . . . . . . . 42 4.2.2 Fonctionnalités de l’application . . . . . . . . . . . . . 45 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 |
| Type de document : | Mémoire master |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/587 | Mémoire master | bibliothèque sciences exactes | Consultable |
