Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems
Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyPN model thought a case study.
Year of publication: |
2016
|
---|---|
Authors: | Kouah, Sofia ; Saïdouni, Djamel Eddine ; Kitouni, Ilham |
Published in: |
International Journal of Intelligent Information Technologies (IJIIT). - IGI Global, ISSN 1548-3665, ZDB-ID 2400990-8. - Vol. 12.2016, 1 (01.01.), p. 63-94
|
Publisher: |
IGI Global |
Subject: | Dynamicity | Formal Model | Fuzzy Set | Multi Agent System | Openness | Petri Net | Refinement |
Saved in:
Online Resource
Saved in favorites
Similar items by subject
-
Integration of graph theory and matrix approach with fuzzy AHP for equipment selection
Safari, Hossein, (2013)
-
Privacy preserving in online social networks using fuzzy rewiring
Kumar, Saurabh, (2023)
-
Active and reactive value dimensions : a dynamic-based perspective in the hotel sector
Gallarza, Martina G., (2022)
- More ...
Similar items by person