IDEAS home Printed from https://ideas.repec.org/a/igg/jiit00/v12y2016i1p63-94.html
   My bibliography  Save this article

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

Author

Listed:
  • 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)

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.

Suggested Citation

  • Sofia Kouah & Djamel Eddine Saïdouni & Ilham Kitouni, 2016. "Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems," International Journal of Intelligent Information Technologies (IJIIT), IGI Global, vol. 12(1), pages 63-94, January.
    • Handle: RePEc:igg:jiit00:v:12:y:2016:i:1:p:63-94
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJIIT.2016010104
    Download Restriction: no
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jiit00:v:12:y:2016:i:1:p:63-94. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.