• DocumentCode
    2742489
  • Title

    Method for Verification of a Multi Agents System

  • Author

    Marzougui, Borhen ; Hassine, Khaled ; Barkaoui, Kamel

  • Author_Institution
    ISET Mednine, Gabés, Tunisia
  • fYear
    2011
  • fDate
    25-27 Jan. 2011
  • Firstpage
    62
  • Lastpage
    65
  • Abstract
    In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). We explain and applied a new method based on agents called Agents Petri Nets (APN). Our model describes each entity to model the system and verify the state of the agent and its behavior. This method use, mainly, the property of Petri Nets as deadline, state home, conflict, etc.. Therefore we use a formalism having a mathematical definition in order to verify some property of the interactive systems. To validate our contribution, we will deal with real example of a Multi agents System.
  • Keywords
    Petri nets; formal verification; interactive systems; multi-agent systems; Petri net; formal verification; interactive system; multi agent system; Computational modeling; Computer architecture; Conferences; Mathematical model; Multiagent systems; Petri nets; Unified modeling language; Agent Petri Nets; Architecture; Method; Multi agents Systems; Verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems, Modelling and Simulation (ISMS), 2011 Second International Conference on
  • Conference_Location
    Kuala Lumpur
  • Print_ISBN
    978-1-4244-9809-3
  • Type

    conf

  • DOI
    10.1109/ISMS.2011.21
  • Filename
    5730321
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2742489