Titre : | Une approche de transformation de graph pour l’édition et la simulation des RDPs |
Auteurs : | radhia sakri, Auteur ; Fayçal Guerrouf, 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. (67 p.) / ill. / 29 cm |
Langues: | Français |
Résumé : | Un réseau de pétri est un outil graphique pour la description formelle des systèmes dont la dynamique est caractérisée par la concurrence, la synchronisation, l’exclusion mutuelle et le conflit des choix multiples. La facilité d’adaptation des réseaux de pétri élargit leur champ de pratique jusqu’aux protocoles de communication, architectures des ordinateurs, etc. Leur aspect mathématique leur permet l’analyse des propriétés comportementales et corrigé les défauts de conception Dans ce travail, nous avons présenté une conception et une implémentation d’un outil d’édition et de simulation des Rdps, l’idée de notre projet est basée sur une approche de transformation de graphe à l’aide de l’outil Atom3. Pour cela nous avons proposé : i) un méta-modèle de réseau de Petri ordinaire pour représenter la partie statique; ii) un ensemble de règles pour représenter la partie dynamique . |
Sommaire : |
Introduction générale
Chapitre 01 Les Réseaux de petri 1.1 Introduction…………………………………………………………...........3 1.2 Qu'est-ce que les réseaux de Petri …………………………………...…….4 1.2.1 L'aspect structurel ………………………………………….…….4 1.2.1.1 Définition d'un réseau de Petri ………………………...4 1.2.1.2 Représentation d'un réseau de Petri ………………..5 1.2.2 L'aspect comportemental ………………………………………...7 1.2.2.1 L’état dans un réseau de Petri …………………………8 1.2.2.2 Franchissement d’une transition ……………………….8 1.2.2.3 L'exécution d'un réseau de Petri ……………………….8 1.3 Propriétés des RdP ……………………………………………………….10 1.3.1 Caractère borné …………………………………………………10 1.3.2 Activité d’un réseau …………………………………………….11 1.4 Méthodes d'analyse des réseaux de Petri ………………………………...14 1.4.1 Analyse par graphes des marquages ……………………………14 1.4.1.1 Le graphe est fini ……………………………………..14 1.4.1.2 Le graphe est infini …………………………………...15 1.4.2 Analyse par algèbre linéaire ……………………………………16 1.4.3 Analyse par réduction …………………………………………..16 1.5 Conclusion ………………………………………………………………..20 Chapitre 02 Transformation de graphes et ATOM³ . 2.1 introduction…………………………………………………………………..21 2.2 Modèle, Langage de modélisation et Méta-modèle …………………………22 2.2.1 Un modèle ……………………………………………………………...22 2.2.2 Un langage de modélisation ………………………………………….22 2.2.3 Un méta-modèle ……………………………………………………….22 2.3 Transformation de Modèles ………………………………………………….23 2.3.1 Classification des approches de transformation………………………...24 2.3.1.1 Transformations de type Modèle vers code …………………...25 2.3.1.2 Transformations de type modèle vers modèle …………………25 2.4 Quelques rappels sur la théorie des graphes …………………………………25 2.4.1 Définition de graphe ……………………………………………………25 2.4.2 Définition de graphe non orienté …………………………………..…...26 2.4.3 Définition de graphe orienté ……………………………………………26 2.5 La transformation des graphes ……………………………………………….27 2.5.1 Grammaire de Graphe ………………………………………………….27 2.5.2 Le principe de règles …………………………………………………...28 2.5.3 Application des règles ………………………………………………….28 2.5.4 Langage engendré ………………………………………………………29 2.5.5 Qu'est-ce que la transformation graphique……………………………...30 2.5.6 Approches de transformation de graphes ………………………………31 2.6 Présentation de l'outil AToM3 ………………………………………………32 2.7 Conclusion …………………………………………………………………...37 Chapitre 03 Conception et L’implémentation. 3.1 Introduction………………………………………………………………..38 3.2 Analyse des besoins …………………………………………………………38 3.3 Conception …………………………………………………………………..39 3.4 Méta-Modélisation de réseau de pétri ………………………………………39 3.5 Outil de modélisation d’un DATA …………………………………………40 3.6 Grammaire de graphe proposée …………………………………………….41 3.7 Exemple d’exécution ………………………………………………………..49 3.8 Conclusion …………………………………………………………………..51 Conclusion Générale |
Type de document : | Mémoire master |
Disponibilité (1)
Cote | Support | Localisation | Statut |
---|---|---|---|
MINF/530 | Mémoire master | bibliothèque sciences exactes | Consultable |