Looking for verification and validation of a Multi agent System using new formalism: APN

In this paper, we present a new formal Method for the Verification of a Multi agent 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.

[1]  Jacques Ferber,et al.  Les Systèmes multi-agents: vers une intelligence collective , 1995 .

[2]  M. Bagic,et al.  Verification and validation of multiagent system specified by agent UML , 2004, Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004..

[3]  Wojciech Penczek,et al.  Verification of multiagent systems via unbounded model checking , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[4]  Juliette Rouchier,et al.  Evaluation et validation de modèles multi-agents , 2006 .

[5]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[6]  John Yen,et al.  Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.

[7]  Antonios Tsourdos,et al.  Modelling and Verification of Multiple UAV Mission Using SMV , 2009, FMA.

[8]  Rafael H. Bordini,et al.  Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[9]  Minjie Zhang,et al.  A colored Petri net based strategy for multi-agent scheduling , 2005, Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems (RRS'05).

[10]  B. Blaskovic.  Petri net modeling for reactive system verification , 2003, Proceedings of the 7th International Conference on Telecommunications, 2003. ConTEL 2003..

[11]  A. Selamat,et al.  Multi-agent verification and validation for RFID system architecture , 2008, 2008 International Conference on Electronic Design.

[12]  S. Manson.  Validation and Verification of Multi-Agent Systems , 2008 .

[13]  Ahmed Hadj Kacem,et al.  From Formal Specification to Model Checking of MAS Using CSP-Z and SPIN , 2007 .

[14]  He-Jiao Huang,et al.  Verification of Petri net models based on transition vectors , 2008, 2008 International Conference on Machine Learning and Cybernetics.