| Titre : | Extending petri nets for modeling and analysis of reconfigurable systems |
| Auteurs : | Laïd Kahloul, Auteur ; Allaoua Chaoui, Directeur de thèse |
| Type de document : | Thése doctorat |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2012 |
| ISBN/ISSN/EAN : | TINF/45 |
| Format : | 1 vol. (100 p.) / ill. / 29 cm |
| Langues: | Anglais |
| Résumé : |
Les réseaux de Petri représentent un outil formel et graphique proposé pour modéliser et analyser le comportement des systèmes concurrents. Dans sa version de base, ce modèle est défini comme un graphe fixe, où le comportement du système est modélisé par le marquage du graphe qui change au fil du temps. Cette contrainte rend les réseaux de Petri un pauvre outil pour faire face aux systèmes reconfigurables où la structure du système peut changer autant que son comportement, au cours du temps. Beaucoup d’extensions des réseaux de Petri ont été proposées pour faire face à cette faiblesse. Le but de ce travail est de présenter une extension où la structure du graphe est très flexible. Cette souplesse donne un modèle riche pour modéliser des comportements complexes, non modélisables dans les extensions précédentes. Le deuxième objectif sera de prouver que même si ces comportements sont tellement complexes, ils peuvent être encodés dans d'autres modèles analysables et donc être analysés. |
| Sommaire : |
Introduction..........1 Chapter I: Mobile Computing 1 Introduction ...................... 9 2 Definitions .................... 9 3 Why Mobility? ............... 10 3.1 Mot............................... 10 3.2 Motivations for Soft Mobility ............................ 10 3.3 Motivations for Mobile Agents ................. 11 4 Origins of the Soft Mobility Idea ................................ 12 5 Architectures and Mechanisms for MCSs ............ 13 5.1 Architectures for mobility ......................... 13 5.2 Mechanisms for mobility . 14 5.2.1 Kinds of mobility .... 14 5.2.2 Managing bindings .............................. 15 6 Programming Languages .................................................................................................. 15 6.1.1 The Emerlad system .................................. 16 6.1.2 Telescript ........... 16 6.1.3 Agent Tcl .............. 17 6.1.4 Java ................... 17 6.1.5 Objective Caml ...... 17 6.1.6 Aglet .............. 17 7 Conceptual Paradigms ...... 18 8 Applications of Mobility ..... 19 9 Mobility Problems ............. 20 9.1 Shortcomings of hard mobility .................................................................................. 20 9.2 Shortcomings of mobile agents ................... 20 10 Industrial Realizations ......... 21 11 Standardization Efforts ....... 23 12 Conclusion .................... 23 Chapter II: Formal Methods for Mobile Computing 1 Introduction ................. 26 2 The Distributed Join Calculus 27 2.1 The Syntax of the Distributed Join Calculus .................... 28 2.2 The Execution in the Distributed Join Calculus .......... 29 2.3 Examples of specifications in DJC ............................... 32 3 Towards Dynamic Petri Nets ........................................... 33 3.1 Petri Nets ................. 33 3.2 Mobile Petri Nets .......... 35 3.3 Dynamic Petri Nets .......38 3.4 Verification of Dynamic Nets ........................................ 40 4 Conclusion ........................ 41 Chapter III: Extended Petri Nets 1 Introduction ................... 44 2 Labeled Reconfigurable Nets: A naïve idea ....................... 45 2.1 Formal Definition ......... 45 2.2 Dynamic of labeled reconfigurable nets ............................... 46 2.3 Examples of Modeling ....... 47 2.3.1 Remote Evaluation .. 48 2.3.2 Code On Demand ... 49 2.3.3 Mobile Agent .......... 50 2.4 Shortcomings and Extensions .................................................................................... 51 3 Colored Reconfigurable Nets .................................................. 51 3.1 Formal Definition ........ 52 3.2 Dynamic of colored reconfigurable nets ..................................... 53 3.3 Examples of Modeling ........... 54 3.4 Shortcomings and Extensions ............................. 55 4 Flexible Nets: The mature idea ................................ 56 4.1 Formal Definition ......... 57 4.2 Firing Rules ............... 58 4.3 Examples of Modeling .............. 61 4.3.1 Example of a Dynamic Join Calculus model ................ 61 4.3.2 Example of a Mobile Petri Nets model .................. 62 4.3.3 Example of a Dynamic Petri Nets model ................. 64 5 Analysis Issues .................. 66 6 Conclusion ...................... 69 Chapter IV: Encoding of Flexible Nets into Dynamic Nets 1 Introduction ...................... 71 2 Adding a Place in the Flexible Net .......................................... 72 2.1 The encoding .............. 73 2.2 Example of an encoding ......................................... 79 2.3 Simulation on the example ........................................ 81 2.4 Correction of the encoding ................................ 83 3 Adding a Transition in the Flexible Net ..................................... 87 3.1 The encoding ............... 88 4 Adding an Arc in the Flexible Net ....................................... 89 4.1 The encoding ............... 89 5 Deleting a Place from the Flexible Net ........................... 90 5.1 The encoding ............... 90 6 Deleting a Transition from the Flexible Net ......................... 91 6.1 The encoding ............ 91 7 Deleting an Arc from the Flexible Net .............................. 92 7.1 The encoding ............... 92 8 Conclusion ................. 92 Conclusion 1 Comparison with Similar works .................................... 95 2 Perspectives ............... 97 References ………………………………………………………………………..….……99 |
| En ligne : | http://thesis.univ-biskra.dz/id/eprint/3449 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| TINF/45 | Théses de doctorat | bibliothèque sciences exactes | Consultable |
