Method for Verification of a Multi Agents System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Method for Verification of a Multi Agents System

Résumé

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.
Fichier non déposé

Dates et versions

hal-01126300 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126300 , version 1

Citer

Borhene Marzougui, Khaled Hassine, Kamel Barkaoui. Method for Verification of a Multi Agents System. 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), Jan 2011, X, France. pp.62-65. ⟨hal-01126300⟩
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More