| Titre : | A Tool for Modeling and Verifying Reconfigurable Petri Nets |
| Auteurs : | Abderrahmane Chabira, 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. (49 p.) / 30 cm |
| Langues: | Anglais |
| Résumé : |
The objective of this work is using reconfigurable Petri nets to draw important conclusions about the system without going for time and cost ineffective trial and error prototyping. To do so, the first step is to model the system. Once a model is ready, the next task is to analyze the model to draw conclusions about the properties of the model and hence about the actual system. Then only one can answer questions like what the system behavior is supposed to be under specific operational conditions, what properties are inherent to the structure of the net, what to expect from the system during operation and whether there is any pitfall in the system design which must be avoided in operational phase. |
| Sommaire : |
Content Table of content General introduction 1 Petri nets 1.1 Introduction . . . . . . . . . 1.2 Informal definition . . . . . . 10 Definition of ordinary Petri net . . . . . . 12 1.3 Formal definetion . . . . . . . 12 1.4 Dynamics 13 Fireable transition . . 13 1.4.2firing a transition . . . 13 1.5 Analysis . 14 PN properties . . . . . 14 Dynamic analysis method . . . . . . . . . 14 Reachability . 14 Static analysis method 17 Example static analysis 18 1.6 Petri nets as modeling formalism . . . . . . . . . 19 Sequential execution . 19 Synchronization . . . . 19 Concurrency . . . . . . 20 Conflict . . . . . . . . 20 Confusion . . . . . . . 21 1.7 Primitives for Programming . 21 Selection (if ? else) . . 22 Case (Switch) statement . . . . . . . . . . 22 While loop . . . . . . . 23 Repeat (for) loop . . . 23 Precedence . . . . . . 24 Timed occurrence . . . 24 1.8 Conclusion 24 2 Reconfigurability 2.1 Introduction . . . . . . . . . . 25 2.2 Reconfigurable systems . . . . 26 Industry 4.0 . . . . . . 26 Example: DJINN . . . 27 Collaborative Virtual Environment (CVE) 28 Case of study . . . . . 28 2.3 R-systems common points . . 30 Objectives Architecture of R-systems . . . . . . . . . 30 Configuration of R-systems . . . . . . . . . 30 Reconfiguration of R-systems . . . . . . . 30 Reconfiguration process . . . . . . . . . . 31 2.4 Reconfigurable PN . . . . . . 31 2.5 conclusion 31 3 Analysis and conception 3.1 Introduction 3.2 RPN Formal definition . . . . 32 3.3 Analysis of a RPN . . . . . . 33 Marking graph . . . . 35 3.4 Conception . . . . . . . . . . 35 3.5 Conclusion 38 4 Realization 4.1 Introduction 4.2 Used tools 39 PIPE . . . . . . . . . 39 XML . . . . . . . . . . 39 NetBeans IDE 8.1 . . . 40 JDOM . . . . . . . . . 40 Java FX . . . . . . . . 40 LyX . . . . . . . . . . 40 4.3 Implementation . . . . . . . . 41 The graphical user interface of the tool . . 41 The initial components: . . . . . 41 Enabled components: . . . . . . . 42 Disabled components: . . . . . . 42 Unvisible components: . . . . . . 43 Functionality . . . . . 44 CONTENTS 4.4 Conclusion 47 4.5 General conclusion . . . . . . 48 Bibliographie |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/356 | Mémoire master | bibliothèque sciences exactes | Consultable |
