| Titre : | Etude des systèmes reconfigurable : modélisation et analyse |
| Auteurs : | Sofiane Chouaib, 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, 2017 |
| Format : | 1 vol. (48 p.) / 30 cm |
| Langues: | Français |
| Sommaire : |
Introduction Générale 3 I Etat de l'art 5 1 Réseaux de Petri 6 1.1 Introduction …………………………………………………………... 6 1.2 Formalisation du modèle……………………………………………… 6 1.3 Sensibilisation d'une transition.………………………………………. 8 1.4 Le franchissement d’une transition….………………………………... 8 1.5 Structures fondamentales pour la modélisation des systèmes ……….. 8 1.5.1 Parallélisme …………………………………………………... 9 1.5.2 Synchronisation ………………………………………………. 9 1.5.3 Partage de ressources ………………………………………… 10 1.5.4 Mémorisation ………………………………………………… 11 1.5.5 Lecture ……………………………………………………….. 11 1.6 L'analyse ……………………………………………………………... 12 1.6.1 Propriétés d’un réseau de Petri ……………………………….. 12 1.6.2 L'analyse structurelle …………………………………………. 13 1.6.3 Exemples Analyse structurelle ……………………………….. 13 1.6.4 L'analyse comportementale…………………………………… 15 1.6.5 Exemples : Analyse comportementale (graphique) ………….. 17 1.6.6 Monotonie et propriétés ……………………………………… 19 1.7 Conclusion …………………………………………………………… 19 2 Réseaux de Petri reconfigurable ………………………………………. 21 2.1 Introduction …………………………………………………………... 21 2.2 Réseaux de Petri reconfigurables …………………………………….. 22 2.3 L'analyse d'un réseau de Petri reconfigurable ………………………... 27 2.3.1 L'arbre de couverture …………………………………………. 27 2.3.2 La bornitude ………………………………………………….. 28 2.4 Conclusion …………………………………………………………… 28 II Réalisation d'un outil pour la modélisation, simulation et l'analyse des Réseaux de Petri reconfigurable………………..29 3 Analyse des besoins et Conception ……………………………………... 30 3.1 Introduction ………………………………………………………….. 30 3.2 Analyse des besoins …………………………………………………. 30 3.3 Conception global ……………………………………………………. 31 3.4 Conception détaillée …………………………………………………. 32 3.5 Conclusion …………………………………………………………… 35 4 Implémentation ………………………………………………………….. 36 4.1 Introduction …………………………………………………………... 36 4.2 Outils et langages de développement ………………………………… 36 4.2.1 Java …………………………………………………………… 36 4.2.2 Java FX ……………………………………………………….. 36 4.2.3 NetBeans ……………………………………………………... 37 4.2.4 JDOM ………………………………………………………… 37 4.2.5 XML ………………………………………………………….. 37 4.2.6 PNML ………………………………………………………… 37 4.3 Implémentation ………………………………………………………. 38 4.3.1 Interface ………………………………………………………. 38 4.3.2 Fonctionnalités ……………………………………………….. 41 4.3.2.1 Éditeur de réseaux de Petri …………………………… 41 4.3.2.2 La sauvegarde de réseau de Petri …………………….. 41 4.3.2.3 Le chargement d'un réseau de Petri …………………... 41 4.3.2.4 Définition de règle de modification de structure ……... 42 4.3.2.5 Rapport de simulation ………………………………... 44 4.4 Test …………………………………………………………………… 44 4.5 Conclusion …………………………………………………………… 46 Conclusion Générale ……………………………………………………….. 47 Bibliographie |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/262 | Mémoire master | bibliothèque sciences exactes | Consultable |
