Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems

Sofia Kouah, Djamel Eddine Saïdouni and Ilham Kitouni
Additional contact information
Sofia Kouah: MISC Laboratory, University of Abdelhamid Mehri - Constantine, Constantine, Algeria & Oum El Bouaghi, Algeria
Djamel Eddine Saïdouni: MISC Laboratory, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria
Ilham Kitouni: MISC Laboratory, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria

International Journal of Intelligent Information Technologies (IJIIT), 2016, vol. 12, issue 1, 63-94

Abstract: 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.

Date: 2016
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJIIT.2016010104 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jiit00:v:12:y:2016:i:1:p:63-94

Access Statistics for this article

International Journal of Intelligent Information Technologies (IJIIT) is currently edited by Vijayan Sugumaran

More articles in International Journal of Intelligent Information Technologies (IJIIT) from IGI Global
Bibliographic data for series maintained by Journal Editor ().