| Titre : | un outil pour l'édition et analyse des réseaux de petri ordinaires |
| Auteurs : | Saif Eddin Riguet, 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, 2017 |
| Format : | 1 vol. (56 p.) / 30 cm |
| Langues: | Français |
| Mots-clés: | outil -l'édition -analyse -réseaux -ordinaires-langages |
| Résumé : |
Les r´eseaux de Petri ordinaires (RdPs) sont des mod`eles formels de bas niveau pour la mod´elisation des syst`emes dynamiques. Ce mod`ele propos´e depuis les ann´ees soixante ´etait utilis´e pour mod´eliser, simuler et v´erifier le comportement dynamique des syst`emes a` ´ev´enementdiscretquelsquesoientleursdomainesd’application(informatique,t´el´ecommunication, production...). Il existe des outils(Tina, Ron, cpn Tool ...) qui permettent la mod´elisation des classes importantes de syst`emes. Pour n’en citer que quelques-uns, nous prenons `a titre d’exemple les classes de syst`eme de production, de syst`eme automatis´e, de syst`eme informatique et de syst`eme de communication. en fait, ces outils permettent la conception, l’´evaluation et l’am´elioration de tout syst`eme. L’objectif de ce projet est la r´ealisation d’un outil permettant de mod´eliser, simuler, v´erifier et analyser les (RdPs) ordinaires. |
| Sommaire : |
Table des mati`eres 1 R´eseau de Petri Ordinaire 6 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 D´efinition Informelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.4 D´efinition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.4.1 D´efinition 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.4.2 D´efinition 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.5 Utilisation d’un r´eseau de Petri . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.6 Dynamique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.6.1 Marquage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.6.2 Transition sensibilis´ee. . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.6.3 Franchissement d’une transition . . . . . . . . . . . . . . . . . . . . . 14 1.7 Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.8 Les propri´et´e d’un RdP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.8.1 Accessibilit´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.8.2 Bornitude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.8.3 R´eversibilit´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.8.4 Vivacit´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.8.5 Blocage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.9 M´ethodes d’analyse RdP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.9.1 M´ethode d’analyse dynamique . . . . . . . . . . . . . . . . . . . . . . 21 1.9.2 M´ethode d’analyse statique . . . . . . . . . . . . . . . . . . . . . . . 25 1.9.3 Technique de r´eduction et de d´ecomposition . . . . . . . . . . . . . . 29 1.10 ´El´ements de mod´elisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 1.10.1 Parall´elisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 1.10.2 Synchronisation Mutuelle . . . . . . . . . . . . . . . . . . . . . . . . 30 1.10.3 S´emaphore . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 1.10.4 Partage de ressources . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.10.5 M´emorisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.10.6 Lecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 1.10.7 Capacit´e limit´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 1.11 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2 Analyse et Conception 34 2.1 Analyse des besoin . . . . . . . . . . . . . . . . . . . . . . 34 2.2 Conception . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.3 Conception global . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.4 Module ´edition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.4.1 Module modification . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.4.2 Module pnml . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.4.3 Module analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.4.4 Module simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.5 Conception d´etaill´ee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.5.1 diagramme de classe . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.5.2 Classe RdP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.5.3 Classe Transition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.5.4 Classe Place . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.5.5 Classe Arc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.5.6 Diagramme de s´equence . . . . . . . . . . . . . . . . . . . . . . . . . 40 3 R´ealisation et impl´ementation 43 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3.2 L’environnement du d´eveloppement . . . . . . . . . . . . . . . . . . . . . . . 43 3.2.1 Mat´eriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3.2.2 Syst`eme d’exploitation . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3.3 Outils et langages de d´eveloppement . . . . . . . . . . . . . . . . . . . . . . 44 3.3.1 Pycharm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 3.3.2 TeXmaker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 3.3.3 MiKTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 3.3.4 Tkinter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.3.5 Code : :Blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.3.6 XML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.3.7 PNML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.4 interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 3.5 L’analyse statique(structurel) . . . . . . . . . . . . . . . . . . . . . . . . . . 52 3.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/323 | Mémoire master | bibliothèque sciences exactes | Consultable |
