| Titre : | Reconfiguration Dynamique dans les Réseaux de Petri Colorés pour la Modélisation et L’analyse de Systèmes Flexibles |
| Auteurs : | Kheira Kerfaoui, Auteur ; Samir Tigane, Directeur de thèse |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2024 |
| Format : | 1vol.(60p.) / ill.couv.ill.encoul / 23.5CM |
| Langues: | Anglais |
| Mots-clés: | Petri nets, Colored Petri nets, Graphical Transformation Systems, Reconfigurable Petri nets. |
| Résumé : |
Petri nets remain a powerful and efficient tool for modeling concurrent systems, but their limited ability to handle reconfigurable systems in their basic version has led to the development of extended versions. These extended versions offer solutions to overcome the initial limitations, enabling more efficient modeling and analysisof complex, dynamic systems. To overcome this weakness, several versionsof extended Petri nets have been proposed : colored Petri nets, reconfigurable Petrinets and random Petri nets. These networks offer greater flexibility and the abilityto model changes in system structure and behavior over time. Thanks to these improvements,analysts and engineers can obtain more accurate and realistic modelsof the systems they are working on. In this study, we present the definition of coloredPetri net morphism and the application of Transformation rules in colored Petrinets whose structure can be dynamically modified. Rule-based modification of thenetwork structure makes it easy to modelcomplexanddynamicstructures,suchasreconfigurable manufacturing systems. The transformation approach is based on analgebraic transformation approach known as DPO (Double -PushOut). |
| Sommaire : |
Abstract . . . . . . . . . . . . . . . . . .. . i Résumé . . . . . . . . . . . . . . . . . . ii Remerciements . . . . . . . . . . . . . . . . iii Dédicaces . . . . . . . . . . . . . . . . . . iv 1 Introduction générale 1 I L’état de l’art 6 2 Réseaux de Petri Colorés 7 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.3 Réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.1 Formelle d’un Réseau de Petri . . . . . . . . . . . . . . 11 2.4 Modélisation graphique :[GUE11] . . . . . . . . . . . . . . . . . 12 2.4.1 Places, Transitions et Arcs . . . . . . . . . . . . . . . . . 12 2.4.2 Marquages . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.4.3 Franchissement de transitions . . . . . . . . . . . . . . . 15 2.5 Propriétés des réseaux de Petri . . . . . . . . . . . . . . . . . . . 17 2.6 Graphe des marquages et de couverture :[MAR] . . . . . . . . . 19 2.6.1 Arbre et graphe des marquages accessibles . . . . . . . . 19 2.6.2 Arbre et graphe de couverture . . . . . . . . . . . . . . . 20 2.7 Réseaux de Petri colorés . . . . . . . . . . . . . . . . . . . . . . 21 2.7.1 Formelle d’un Réseau de Petri coloré . . . . . . . . . . . 22 2.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3 Reconfiguration dans les Réseaux de Petri 25 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.1.1 Systémes de Transformation Graphique . . . . . . . . . . 27 3.1.2 Approche à Double-Pushout pour les réseaux de Petri . . 27 3.2 Systèmes de Réécriture du Réseau . . . . . . . . . . . . . . . . . 31 3.3 Réseaux de Petri Reconfigurables . . . . . . . . . . . . . . . . . 32 3.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4 Reconfiguration dans les Réseaux de Petri Colorés 36 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 4.2 Réseaux de Petri Colorés Reconfigurables . . . . . . . . . . . . . 37 4.2.1 Définition des RecRdPCs . . . . . . . . . . . . . . . . . 37 4.3 Exemple illustratif . . . . . . . . . . . . . . . . . . . . . . . . . 43 4.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 5 Conclusion et Perspectives 49 Bibliographie 51 |
| Type de document : | Mémoire master |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/907 | Mémoire master | bibliothèque sciences exactes | Consultable |
