| Titre : | Possibilistic Petri nets analysis |
| Auteurs : | Hadjer Touati, Auteur ; Hammadi Bennoui, 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. (35 p.) / 30 cm |
| Langues: | Anglais |
| Mots-clés: | possibilitic Petri nets,possibilitic reasoning |
| Résumé : |
Manipulation of perceptions is remarkable human capability in a wide variety of physical and mental tasks under fuzzy or uncertain surroundings.Possibilitic reasoning can be treated as a machanism that mimics human inference mechanisms with uncertain information.Petri nets are a graphical and mathematical modeling tool with powerful modeling and anatycal ability.The focus of this paper is on the integration of Petri nets with possibilitic reasoning to reap the benifits of bith formalisms.This integration leads to possibilitic Petri nets model (PPN), with the following features.A possibilitic token carries information to describe an object and its corresponding possibility and necessity measures.possibilitic transitions are classified into four types : inference transitions,duplication transitions, agregation transitions, and agregation-uplication transitions.A reasoning algorithm, based on possibilistic Petri nets,is presnted to improve the efficiency of possibilistic reasoning |
| Sommaire : |
I General Introduction II State of the art 1 Petri Nets 1.1Introduction . . 6 1.2 Basic concepts of ordinary Petri nets . . . . . . . . . . 7 1.2.1 Informal definitions . . . . 7 1.2.2 Formal definition . . . . . . 7 1.2.3 Matrix representation . . . . 8 1.2.4 Transition Firing . . . . . . 8 1.2.5 Properties of PN model . . 11 1.2.6 Diagnosis by Petri nets . . . 12 2 Diagnosis by Possibility PN Analysis 2.1 Introduction . . 14 2.2 Probabilities : 15 2.2.1 Definition : . . . . . . . . . 15 2.3 Possibilities : . 16 2.3.1 Formal background (theoretical setting) . . . . 16 2.4 Possibilistic Petri Nets : . . . . . . 17 2.4.1 Definition : . . . . . . . . . 17 Reasoning Algorithm : 2.5 Possibilistic Entailment . . . . . . . 24 2.6 Centralized Diagnosis with Possibilistic Petri Nets . . . 25 2.6.1 Causal Models . . . . . . . . 25 2.6.2 Centralized Diagnosis (Formalization) . . . . . . 27 2.6.3 T-invariant analysis . . . . . 30 3 Development of diagnostic tool based on PPN 3.1 Requirments definition . . . . . . . 31 3.1.1 Design . 31 3.2 Detailed design 32 3.3 Implementation : . . . . . . . . . . 32 3.3.1 XML : . 33 3.3.2 PNML : 33 3.3.3 NetBeans IDE 8.0.2 : . . . . 33 3.3.4 LATEX : . . . . . . . . . . 33 Conclusion III General conclusion |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/357 | Mémoire master | bibliothèque sciences exactes | Consultable |
