|
 
|
[MHB11] Method for Verification of a Multi Agents System
Conférence Internationale avec comité de lecture : 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), January 2011, pp.62-65, (DOI: http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 )Mots clés: Method, Multi agents Systems, Agent Petri Nets, Verification, Architecture
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.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| MHB11, | |||
| title | = | "{Method for Verification of a Multi Agents System}", | |
| author | = | " B. Marzougui and K. Hassine and K. Barkaoui ", | |
| booktitle | = | "{ 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11)}", | |
| year | = | 2011, | |
| month | = | "January", | |
| pages | = | "62-65", | |
| doi | = | " http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 ", | |
| } | |||
