Titre : | Transformation des RdPSGs à structure dynamique en RdPSGs à structure statique |
Auteurs : | Djihad Ben nadji, Auteur ; Samir Tigane, 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. (75 p.) / couv. ill. en coul / 30 cm |
Langues: | Français |
Mots-clés: | Réseaux de Petri stochastiques généralisés ; structures dynamiques ; Modélisation et vérification formelles ; transformation de graphes ; structure dynamiques. |
Résumé : |
Dans ce mémoire, nous implémentons un outil pour un formalisme, appelé les réseaux de Petri stochastiques généralisés dynamiques (RdPSGDs), qui peut modéliser des structures dynamiques (les places et les transitions sont dynamiques), et nous allons transformer les RdPSGDs en RdPSGs (Les réseaux de Petri stochastiques généralisés) équivalents. Cette transformation de graphes peut se produire lorsque le modèle originel a un nombre fini de configurations. |
Sommaire : |
Table des matières i Liste des figures iv Liste des tableaux v Introduction Générale 1 Arrière-plan 1 Motivation et objectifs . 5 Organisation du mémoire 6 Chapitre 1 : Etat de l’art 7 1 Introduction . 8 1.1 Modélisation avec Les réseaux de Petri 9 1.2 L'aspect structurel 11 1.2.1 Définition d'un réseau de Petri 11 1.2.2 Définition : Preset & Postset 12 1.3 Comportement dynamique des RdPs . 13 1.3.1 Franchissement d’une transition 13 1.3.2 Séquence de franchissement 14 1.3.3 Ensemble d'accessibilité . 15 1.3.4 Graphe d'accessibilité 15 1.4 Analyse des réseaux de Petri.. 16 1.4.1 Les propriétés des réseaux de Petri . 17 1.4.2 Méthodes d'analyse des RdPs20 1.5 Les réseaux de Petri stochastiques 20 1.5.1 Processus stochastique. 23 1.5.2 Processus de Markov 24 1.5.3 RdPS ayant une loi exponentielle 25ii 1.5.4 Définition un réseau de Petri stochastique (RdPS) ..... 25 1.5.5 Quelques propriétés qualitatives des RdPSs 28 1.5.5.1 La vivacité 28 1.5.5.2 S-invariant 29 1.5.5.3 Probabilité d’être dans un sous-ensemble de marquages...................... 29 1.6 Réseaux de Petri stochastique généralisé 30 1.6.1 Définition de Réseaux de Petri stochastique généralisé. 31 1.6.2 Analyse quantitative de RdPSGs32 1.6.3 Evaluation des indices de performances. 33 1.6.4 La chaîne de Markov embarquée 34 1.7 Conclusion 36 Chapitre 2 : Les Réseaux de Petri stochastiques généralisés dynamique. 37 2 Introduction 38 2.1 Systèmes de transformation des graphes 39 2.1.1 Définition des Systèmes de transformation des graphes 40 2.2 Approche à Double-Pushout pour les RdPs 40 2.2.1 Morphismes sur les RdPs 40 2.2.2 Union de RdP comme "pushout" 41 2.3 RdPSG dynamiques. 42 2.3.1 Introduction 42 2.3.2 Définition formelle 42 2.3.3 Définition RdPSG dynamique. 43 2.3.4 Règle de transformation 44 2.3.5 Transformation des RdPSGDs en RdPSGs 45 2.3.6 Analyse qualitative/quantitative de RdPSGD 50 2.4 Conclusion 51 Chapitre 3 : Implémentation 52 3 Introduction .. 53 3.1 Outils et langages de développement 53iii 3.1.1 Langage de programmation JAVA..53 3.1.2 Eclipse 54 3.1.3 PIPE 54 3.1.4 XML 54 3.1.5 PNML 55 3.2 Implémentation 55 3.3 Page d’accueil de l'outil.. 55 3.3.1 Les listes Source et Target 56 3.3.2 L’espace Marking 57 3.4 Description 61 3.4.1 Réseau de Petri 61 3.4.2 Place 62 3.4.3 Transition 62 3.4.4 Arc 62 3.5 Conclusion. 62 Conclusion Générale.. 63 Bibliographie 64 |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
MINF/698 | Mémoire master | bibliothèque sciences exactes | Consultable |