Research ArticleOpen AccessGoogle Scholar indexed
A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets
- 1
- 2
- 3
Journal of Software Engineering and Applications·Volume 03 (2010)·Pages 1118–1124·Published 31 December 2010·DOI10.4236/jsea.2010.312130
Copy link · social · email
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.
KeywordsMulti Agent SystemsMethodAgent Petri NetsFormalism
- 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.