| Titre : | Réduction de RdPs reconfigurables |
| Auteurs : | Adel Brikli, 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, 2018 |
| Format : | 1 vol. (47 p.) / 30 cm |
| Langues: | Français |
| Résumé : |
Les systèmes reconfigurables sont des systèmes dynamiques matériels ou logiciels. Ils sont capables de modifier leurs structures internes afin d’adapter leurs réponses à leurs environnements. Afin de modéliser ces systèmes, nous utilisons les réseaux de Petri reconfigurables qui peuvent modifier dynamiquement leur propre structure en réécrit certains de leurs topologie en utilisant des règles de réécriture.Une extension reconfigurable de réseaux de Petri a été propose dans [MC-RPN] qui exploite un modèle RdP expri- mant la configuration initiale du systèmes et de règles modélisant les reconfiguration et généré par la suite un modèle équivalent de ce système via un algorithme de dépliage. Le modèle obtenu est utilisé pour vérifier les propriétés de ce système. Néanmoins, la taille de modèle obtenu est norme ce qui augmente la complexité spatiale. |
| Sommaire : |
I État de l’art 4 1 Réseaux de Petri 5 1.1 Introduction . . . . . . . . . . . . . 5 1.2 Réseaux de Petri . . . . . . . . . . 5 1.2.1 Historique . . . . . . . . . 5 1.2.2 Définition informelle . . . . 6 1.2.3 Définition formelle . . . . . 6 1.2.4 Représentation graphique . 7 1.2.5 Représentation matricielle . 7 1.2.6 Franchissement de transition . . . . . . . . . . 7 1.2.7 Séquence de franchissements . . . . . . . . . . 9 1.2.8 Propriété des réseaux de Petri . . . . . . . . . 9 1.2.9 Modélisation des systèmes concurrents . . . . . 11 1.2.10 Méthode d’analyse des RdPs . . . . . . . . . . 11 1.2.11 Outils de modélisation des réseaux de Petri . . 12 1.2.12 Type de RdP . . . . . . . . 12 1.2.13 Analyse dynamique . . . . 13 1.2.14 Analyse statique . . . . . . 15 1.2.15 Exemple d’analyse statique 15 1.2.16 Monotonie et propriétés . . 16 1.3 Modélisation . . 16 1.3.1 Pseudo-parallélisme . . . . 17 1.3.2 Synchronisation Mutuelle . 17 1.3.3 Sémaphore . . . . . . . . . . 17 1.3.4 Partage de ressources . . . . 18 1.3.5 Lecture 18 1.4 Conclusion . . . 18 2 Réseaux de Petri reconfigurable 19 2.1 Introduction . . 19 2.2 Réseaux de Petri reconfigurables . 19 2.3 Les systemes reconfigurables . . . 21 2.4 Industrie 4.0 . 21 2.4.1 Les technologies ’Industrie 4.0’ . . . . . . . . . 22 2.5 Conclusion . . 23 II Réalisation d’un outil pour la Transformation et la réduction des Réseaux de Petri reconfigurable 3 Conception et Modélisation 3.1 Introduction . . 25 3.2 Analyse des besoins . . . . . . . . . 25 3.3 Algorithme de transformation et réduction . . . . . . . 26 3.4 Conception globale . . . . . . . . . 27 3.5 Conception détaillée . . . . . . . . 28 3.6 Conclusion . . . 29 4 Réalisation et implémentation 30 4.1 Introduction . . 30 4.2 Outils et langages de développement . . . . . . . . . . 30 4.2.1 PIPE 4.3.0 . . . . . . . . . 30 4.2.2 XML . 30 4.2.3 PNML 30 4.2.4 NetBeans IDE 8.1 . . . . . 31 4.2.5 JAVA . 32 4.2.6 Latex . 32 4.2.7 LyX . . 32 4.3 Implémentation 32 4.3.1 Interface . . . . . . . . . . 32 4.3.2 fonctionnalités . . . . . . . . 34 4.3.3 Test . . 34 4.4 Conclusion . . 38 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/355 | Mémoire master | bibliothèque sciences exactes | Consultable |
