Welcome to the InfoSci Platform
Reference Hub8
Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems

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

Sofia Kouah, Djamel Eddine Saïdouni, Ilham Kitouni
Copyright: © 2016 |Volume: 12 |Issue: 1 |Pages: 32
ISSN: 1548-3657|EISSN: 1548-3665|EISBN13: 9781466689404|DOI: 10.4018/IJIIT.2016010104
Cite Article Cite Article

MLA

Kouah, Sofia, et al. "Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems." IJIIT vol.12, no.1 2016: pp.63-94. http://doi.org/10.4018/IJIIT.2016010104

APA

Kouah, S., Saïdouni, D. E., & Kitouni, I. (2016). Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. International Journal of Intelligent Information Technologies (IJIIT), 12(1), 63-94. http://doi.org/10.4018/IJIIT.2016010104

Chicago

Kouah, Sofia, Djamel Eddine Saïdouni, and Ilham Kitouni. "Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems," International Journal of Intelligent Information Technologies (IJIIT) 12, no.1: 63-94. http://doi.org/10.4018/IJIIT.2016010104

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.