A. Idani, “B/UML: Setting in Relation of B Specification and UML Description for Help of External Validation of Formal Development in B,” Thesis of Doctorat, The Grenoble University, November 2005.

has been cited by the following article:

• TITLE: A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

  AUTHORS: Borhen Marzougui, Khaled Hassine, Kamel Barkaoui

  KEYWORDS: Multi Agent Systems, Method, Agent Petri Nets, Formalism

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.3 No.12, December 31, 2010

  ABSTRACT: In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.