Titre : | Réalisation d'un APIjava pour la modélisation ,simulation et vérification d'un GSPN |
Auteurs : | Ahmed Ounis Reghis, 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, 2017 |
Format : | 1 vol. (54 p.) / 30 cm |
Langues: | Français |
Mots-clés: | Réalisation - APIjava- modélisation -simulation - vérification -GSPN |
Sommaire : |
Table des matières i Table des figures iv Liste des tableaux vi Introduction Générale 2 1 Réseaux de Petri 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Concepts de Bases des Réseaux de Petri . . . . . . . . . . . . . . . . . . . 3 1.3.1 Définition informelle « graphique »[16] . . . . . . . . . . . . . . . . 3 1.3.2 Définition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.4 Évolution d’un Réseau de Petri (Dynamique) . . . . . . . . . . . . . . . . 6 1.4.1 Transition sensibilisée . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4.2 Marquage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4.2.1 Marquages accessibles . . . . . . . . . . . . . . . . . . . . 7 1.4.3 Le franchissement d’une transition . . . . . . . . . . . . . . . . . . 7 1.4.4 Séquence de franchissement . . . . . . . . . . . . . . . . . . . . . . 8 1.4.5 Transition source . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.4.6 Transition puits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.5 Propriétés des réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . 8 1.5.1 Propriétés d’un RdP . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.6 Méthodes d’analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.6.1 Méthode d’analyse dynamique (graphique) . . . . . . . . . . . . . . 10 1.6.2 Méthode d’analyse statique . . . . . . . . . . . . . . . . . . . . . . 10 1.7 Avantages et inconvénients des réseaux de Petri . . . . . . . . . . . . . . . 11 1.8 Réseaux de Petri de haut niveau :[25] . . . . . . . . . . . . . . . . . . . . . 12 1.8.1 Réseaux de Petri colorés : . . . . . . . . . . . . . . . . . . . . . . . 12 1.8.2 Réseaux de Petri hiérarchiques : . . . . . . . . . . . . . . . . . . . . 13 1.8.3 Réseaux de Petri à temps discret : . . . . . . . . . . . . . . . . . . 13 1.9 Réseaux de petri stochastique . . . . . . . . . . . . . . . . . . . . . . . . . 13 i 1.9.1 Définition informelle . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.9.2 Définition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.9.3 Chaînes de Markov : . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.9.3.1 Graphes de Markov (GM) : . . . . . . . . . . . . . . . . 14 1.9.3.2 Processus Markovien : . . . . . . . . . . . . . . . . . . . . 15 1.9.3.3 Chaine de Markov : . . . . . . . . . . . . . . . . . . . . . 15 1.9.4 Analyse d’un système par réseau de petri stochastique . . . . . . . 16 1.9.4.1 Probabilité d’état en régime stationnaire . . . . . . . . . 16 1.9.4.2 Fréquence moyenne de franchissement . . . . . . . . . . . 17 1.9.4.3 Nombre moyen de marque dans une place : . . . . . . . . 17 1.9.4.4 Temps moyen de séjour des marques . . . . . . . . . . . 17 1.10 Réseau de petri stochastiques généralisés GSPN . . . . . . . . . . . . . . . 17 1.10.1 Définition informelle . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.10.2 Définition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.10.3 Transition temporisée . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.10.4 Transition immédiate . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.10.5 Types de marquages GSPN . . . . . . . . . . . . . . . . . . . . . . 20 1.10.5.1 Marquages tangibles . . . . . . . . . . . . . . . . . . . . 20 1.10.5.2 Marquages virtuels . . . . . . . . . . . . . . . . . . . . . 20 1.10.6 Dynamique des GSPN . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.11 Les analyses effectuées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.12 Conclusion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2 Outil de verification 23 2.1 INTRODUCTION . . . . . . . . . . . . . . . . . . 23 2.2 PIPE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.2.1 Background de PIPE . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.2.2 L’interface graphique . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.2.3 Mode d’animation / jeu de jeton . . . . . . . . . . . . . . . . . . . 25 2.2.4 Modules d’analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.2.5 Étude de cas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.3 GreatSPN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.3.1 Interface Graphique . . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.3.2 Fonctionnalités de l’outil[15] . . . . . . . . . . . . . . . . . . . . . . 32 2.3.3 Analyse structurelle (GSPN) . . . . . . . . . . . . . . . . . . . . . 32 2.3.4 Résolution analytique[1] . . . . . . . . . . . . . . . . . . . . . . . . 32 2.3.5 Manquant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.4 Oris(Un outil de modélisation, de vérification et d’évaluation de systèmes en temps réel) . . . . . 34 2.4.1 Un aperçu de l’outil Oris . . . . . . . . . . . . . . . . . . . . . . . . 34 2.4.1.1 Caractéristiques de base d’Oris . . . . . . . . . . . . . . . 34 ii 2.4.1.2 Oris environnement . . . . . . . . . . . . . . . . . . . . . 35 2.4.2 Vérification de la planification par pTPNs . . . . . . . . . . . . . . 36 2.4.3 Vérification par simulation et analyse . . . . . . . . . . . . . . . . . 36 2.5 Conclosion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3 Conception 38 3.1 Introduction . . . . . . . . . . . . . . . . . . . . 38 3.2 Conception globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.3 Conception détaillée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.3.1 diagramme de classe . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.3.2 Diagramme de cas d’utilisation . . . . . . . . . . . . . . . . . . . . 40 3.3.3 Structure de donnée . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.3.4 Diagramme de séquence . . . . . . . . . . . . . . . . . . . . . . . . 42 3.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 4 Réalisation 45 4.1 Introduction . . . . . . . . . . . . . . . .. . . . . . . 45 4.2 Outils et langages de développement . . . . . . . . . . . . . . . . . . . . . 45 4.2.1 Java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 4.2.2 Eclipse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 4.2.3 Les outils utilisés Grâce aux API . . . . . . . . . . . . . . . . . . . 46 4.2.4 JDOM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 4.2.5 JAVA FX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 4.2.6 PNML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.2.7 LYX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.3 Implementatoin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.3.1 Environnement du développement . . . . . . . . . . . . . . . . . . 48 4.3.2 Les capture d’écran . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.4 Conclusion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Bibliographie 53 |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
MINF/336 | Mémoire master | bibliothèque sciences exactes | Consultable |