Article citationsMore>>

P. Leitao, A. W. Colombo and F. Restivo. “An Approach to the Formal Specification of Holonic Control Systems. Holonic and Multi-Agent Systems for Manufacturing,” Lecture Notes in Computer Science, Vol. 2744, 2004, pp. 59-70,

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.