| Titre : | API java pour les réseaux de petri. |
| Auteurs : | Oussama BENTERKI, Auteur ; MAN : BIG HUGE, 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, 2015 |
| ISBN/ISSN/EAN : | MINF/135 |
| Format : | 47 |
| Langues: | Français |
| Langues originales: | Français |
| Résumé : |
Les méthodes formelles sont des techniques permettant de raisonner rigoureusement,
à l’aide de logique mathématique, sur des programmes informatiques ou du matériel électroniques, afin de démontrer leur validité par rapport à une certaine spécification. Elles sont basées sur les sémantiques des programmes. Les réseaux de Petri (RdPs) représentent un modèle formel destiné aux systèmes concurrents et parallèles. Les réseaux de Petri sont des graphes bipartis où les nœuds peuvent être des transitions ou des places. Ces différents nœuds sont liés par des arcs. Ces réseaux disposent donc d’une représentation graphique leur offrant un aspect intuitifs et simplifiant la modélisation des systèmes et la compréhension des modèles. Les RdPs en tant que modèle formel dispose d’une base mathématique solide. Leurs bases mathématiques permettent de faire l’analyse et la vérification de propriétés des systèmes modélisés. Il existe plusieurs techniques d’analyse, les plus utilisées sont les techniques graphiques basées sur l’espace d’états accessibles et les techniques algé- briques basées sur la représentation matricielle des RdPs. plusieurs projets ont fait dans ce domain, dont la pluparts commance par le dé- veloppement des représentation des RDPs, des structures des données, edition de la modilisation, les procédures d’analyse. Une API (Application Programmable Interface) est un ensemble de fonctions per- mettant d’accéder aux services d’une application, par l’intermédiaire d’un langage de programmation. L’objectif principal de notre travail consiste à réaliser une API java pour les ré- seaux de Petri ayant pour but de disposer toute une bibliothèque (graphique, appelé terminale) pour éviter que l’étudiant tombe dans la perte de temps sans arriver à son objectif demander. Le mémoire est organisé en trois chapitres dont les thèmes sont présentés ci-dessous : f Dans le premier chapitre nous allons illustrer la définition de réseaux de Petri Introduction générale les motivations, les techniques d’analyse et les propriétés à vérifier ! Puis, on présentera les API et leurs structures de programmation. f Dans le deuxième chapitre nous présenterons l’architecture globale, et nous dé- crivons d’une façon détaillée l’interaction entre les entités du système, les outils et les méthodes utilisées pour le développement de notre API. f Dans le troisième chapitre nous présenterons l’environnement de développement, les outils utiliser avec quelques interfaces de notre API. Dans la conclusion générale nous dresserons la synthèse du travail réalisé dans ce mémoire, suivi par les perspectives envisagés. |
| Sommaire : |
Table des matières
Dédicaces 3 Table des matiéres Liste des figures iii Liste des tableaux iv Introduction générale 1 1 Réseaux de Petri et les APIs 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3.1 Définition informelle « graphique » . . . . . . . . . . . . . . . . 5 1.3.2 Définition formelle « Algébrique » . . . . . . . . . . . . . . . . . 7 1.4 Dynamique des réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . 9 1.4.1 Transitions franchissables . . . . . . . . . . . . . . . . . . . . . 9 1.4.2 Transition source . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.4.3 Transition puits . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.4.4 Séquence de franchissements . . . . . . . . . . . . . . . . . . . . 10 1.5 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5.1 Caractère borné . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5.2 Place k-bornée, non bornée . . . . . . . . . . . . . . . . . . . . 11 1.5.3 Réseau borné . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5.4 Binaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.5.5 Activité d’un réseau . . . . . . . . . . . . . . . . . . . . . . . . 12 1.5.5.1 Pseudo-vivacité . . . . . . . . . . . . . . . . . . . . . . 12 1.5.5.2 Quasi-vivacité . . . . . . . . . . . . . . . . . . . . . . . 12 1.5.5.3 Vivacité . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.5.6 État d’accueil et réversibilité . . . . . . . . . . . . . . . . . . . . 13 1.5.6.1 État d’accueil . . . . . . . . . . . . . . . . . . . . . . . 13 1.5.6.2 RdP réinitialisable (ou réversible) . . . . . . . . . . . . 14 1.5.7 Absence de blocage . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.5.7.1 Marquage puits . . . . . . . . . . . . . . . . . . . . . . 14 1.6 Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.6.1 Construction de l’arborescence de couverture . . . . . . . . . . . 15 1.6.1.1 Graphe de couverture . . . . . . . . . . . . . . . . . . 16 1.6.2 P-invariant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.7 Réseaux de Petri de haut niveau . . . . . . . . . . . . . . . . . . . . . 18 1.7.1 Réseaux de Petri marqués . . . . . . . . . . . . . . . . . . . . . 18 1.7.2 Réseaux de Petri temporisés . . . . . . . . . . . . . . . . . . . . 18 1.7.3 Réseaux de Petri colorés . . . . . . . . . . . . . . . . . . . . . . 19 1.7.4 Réseaux de Petri hiérarchiques . . . . . . . . . . . . . . . . . . . 19 1.8 API Application Programming Interface . . . . . . . . . . . . . . . . . 19 1.8.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.8.2 Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.8.3 API libraires and Frameworks . . . . . . . . . . . . . . . . . . . 20 1.8.4 La réutilisation de l’API par machine virtuelle . . . . . . . . . . 21 1.8.5 Web APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.8.6 API documentation . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.9 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2 Conception 26 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2 Architecture globale de l’API . . . . . . . . . . . . . . . . . . . . . . . 26 2.3 Graphe UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.3.1 Graphe UML de l’API . . . . . . . . . . . . . . . . . . . . . . . 29 2.3.1.1 Diagramme de classe . . . . . . . . . . . . . . . . . . . 29 2.3.1.2 Diagramme de cas d’utilisation . . . . . . . . . . . . . 31 2.3.1.3 Diagramme de séquence . . . . . . . . . . . . . . . . . 31 2.3.2 Graphe UML de l’interface graphique . . . . . . . . . . . . . . 32 2.3.2.1 Diagramme de classe . . . . . . . . . . . . . . . . . . . 33 2.3.2.2 Diagramme de séquence . . . . . . . . . . . . . . . . . 33 2.4 Structure de donnée . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 3 Implémentation 37 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.2 Environnement du développement . . . . . . . . . . . . . . . . . . . . . 37 3.2.1 Java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.2.2 Eclipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.2.3 Machine virtuelle Java JVM . . . . . . . . . . . . . . . . . . . . 39 3.3 Structures de données . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 3.4 Les outils utilisés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 3.4.1 JDOM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.4.2 JAVA FX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.5 Les capture d’écran . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 Conclusion Générale 4 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/135 | Mémoire | bibliothèque sciences exactes | Consultable |
