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.
Cite this paper
nullB. Marzougui, K. Hassine and K. Barkaoui, "A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets," Journal of Software Engineering and Applications, Vol. 3 No. 12, 2010, pp. 1118-1124. doi: 10.4236/jsea.2010.312130.
 C. A. Petri, “Communication with Automats,” Thesis of Doctorat, Boon University, 1962.
 J. Fougères, “A Cognitive Architecture of Communicating Agents in Complex Information Systems,” Belfort- Montbéliard University of Technologies, 2002.
 J. Ferber, “The Multi Agent System: Towards a Collective Intelligence,” Inter-Editions, Paris, 1995.
 E. Tagne, C. Viho, E. Tonye and Akono, “A Modeling of Architecture of System Multi Agent with Petri Nets,” IEEE SITIS, 2005.
 G. Quesnel, “Formal and Operational Approach of Multi Modeling and Simulation of Complex Systems: Contributions for Modeling of Multi Agent Systems,” Thesis of Doctorate, 2006.
 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,
 P. Caspi, “Elements for the Choice of Methods of Development of Critical Software Systems,” Research Report N TR-2005-17, November 2005.
 T. Murata, P. C. Nelson and J. Yim. “A Predicate Transition Net Model for Multiple Agent Planning,” Information Sciences, Vol. 57-58, September-December 1991, pp. 361-384. doi:10.1016/0020-0255(91)90087-B
 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.
 G. W. Brams, “Petri Nets: Theory and Practical,” Vol. 1-2, MASSON, Paris, 1982.
 M-J. Yoo, “A Componential For Modeling of Cooperative Agents and Its Validation,” Thesis of Doctorat, The Paris 6 University, 1999.
 A. Seghrouchni, S. Haddad and H. Mazouzi, “Distributed Observation and Analyses Interactions in a Multi Agent System,” Speak French days, IAD and MAS, Nancy, 1998.
 A. Seghrouchni, “Protocol Engineering for Multi-Agents Interaction,” 9th European Workshop on Modeling Autonomous Agents in Multi-Agents World (MAAMAW’99), 1999.
 J. Ferber, “A Meta-Model for the Analysis and Design of Organizations in Multi agent Systems,” Proceeding of the 3rd International Conference on Multi-Agents Systems (ICMAS’98), IEEE CS Press, June, 1998.
 J. Ferber and O. Gutknecht, “For an Operational Semantic of Multi Agent System,” Acts of 8eJFIADSMA, Speak French Days of Distributed Artificial Intelligence and Multi-Agents System, 2000.
 R.Duboz, E. Ramat and G. Quesnel, “Multi Agent Systems and Theory of Monetization and Simulation,” Acts of French Speaker Twelve Days about Multi-Agents Systems (JFSMA), Paris, 2004.
 B. Sibertin, “High-Level Petri Nets with Data Structure: Petri Nets and Applications”, Finland, 1985.
 P. Gruer, V. Hilaire, A. Koukam and K. Cetnarowicz, “A Formal Framework for Multi-Agent Systems Analysis and Design,” Expert Systems with Applications, Vol. 23, No. 4, 2002, pp. 349-355. doi:10.1016/S0957-4174(02)00070-2
 A. Suna, “CLAIM and SyMPA: A Environment for Programming of Intelligent and Mobiles Agents,” Thesis of Doctorat, The Paris 6 University, December 2005.
 C. Maier and Daniel, “Molded: Object Coloured Petri Nets—A Formal Technique for Object Oriented Modeling. Concurrent Object-Oriented Programming and Petri Nets,” Lecture Notes in Computer Science, Springer, 2001, pp. 406-427.
 M. Scott, “On Conversation Policies and the Need for Exceptions,” Working Notes of the Workshop on Specify and Implementing Conversation Policies, Seattle, May 1999, pp. 19-28