Modeling Migration of Mobile Agents

  • Marzougui Borhen
  • Khaled Hassine
  • Kamel Barkaoui
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 132)


In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Müller’s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.


Multi Agent Systems Mobility Migration Influence/Reaction Agent Petri Nets Verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Harrison, C., Chess, M., Kershen-baum, A.: Mobile agents: Are they a good idea? Technical report, Mars, IBM Research Report, T.J. Watson Research Center, Yorktown Heights, NY (1995)Google Scholar
  2. 2.
    Seghrouchni, A., Suna, A.: CLAIM and SyMPA: A Programming Environment for Intelligent and Mobile Agents. In: 4th Chapter of the book Multi-Agent Programming: Languages, Platforms and Applications, pp. 95–122. Kluwer Academic Publishers, Springer (July 2003)Google Scholar
  3. 3.
    Huget, M.: Engineering interaction protocols for multi-agent systems. PhD thesis, IX-Dauphine University Paris, France, pp. 69–71 (2001)Google Scholar
  4. 4.
    Makram, B., Vincent, C., Stéphane, V., François, C.: Parallel simulation of stochastic agent/environment interaction model. Integrated Computer-Aided Engineering 3, 123–130 (2003)Google Scholar
  5. 5.
    Sibertin, B., Cardoso, J., Hanachi, C.: Specification of interaction protocol with Petri Net. In: actes des JFIADSMA 2001, Montréal, Canada, Hermes, pp. 121 – 147 (November 2001)Google Scholar
  6. 6.
    Murata, T., Nelson, P., Yim, J.: A Predicate-Transition Net Model for Multiple Agents Planning. Information Sciences, 57–58, 361–384 (1991)Google Scholar
  7. 7.
    Xu, D., Volz, R., Loeger, T., Yen, J.: Modeling and verifyning multi agent behaviors Unsing Predicat/Transition Nets. In: SEKE, p. 193 (2002)Google Scholar
  8. 8.
    Hernandez, I.R.: Modeling, formal specification and verification of interaction protocol: approach based in action. PhD thesis, national Institut polytechnique of Grenoble, pp. 84–85 (2004)Google Scholar
  9. 9.
    Celaya, J., Desrochers, A., Robert, J.: Modeling and Analysis of Multi-agents Systems using Petri Nets. Journal of Computers 4(10), 110–118 (2009)Google Scholar
  10. 10.
    Leitão, P., Colombo, A.W., Restivo, F.: An Approach to the Formal Specification of Holonic Control Systems. In: Mařík, V., McFarlane, D.C., Valckenaers, P. (eds.) HoloMAS 2003. LNCS (LNAI), vol. 2744, pp. 59–70. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Seghrouchni, A., Suna, A.: CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. In: ProMAS, Workshop of AAMAS 2003, Melbourne, Australia, pp. 14–18 (July 2003)Google Scholar
  12. 12.
    Bouali, M.: Contributions to the formal analysis and diagnosis using colored Petri nets with rear access. Thesis of doctorat. Compiegne University of Technologies de, pp. 56–58 (December 2009)Google Scholar
  13. 13.
    Chen, B., David, L., Harry, C.: XML-based Agent Communication, Migration and Computation. Journal of System and Software 81, 1364–1376 (2008)CrossRefGoogle Scholar
  14. 14.
    Jiannong, C., Xinyu, F., Jian, L., Sajal, K.: Design of Adaptive and Reliable Mobile Agent Communication Protocols. In: Proceedings of the 22rd International Conference on Distributed Computing Systems, ICDCS 2002 (2002)Google Scholar
  15. 15.
    Ferber, J., Müller, J.P.: Influences and Reactions: a Model of Situated Multi Agent Systems. In: Proc.of ICMAS 2006, pp. 72–79 (1996)Google Scholar
  16. 16.
    Michel, F.: IRM4S Model: uses of Influence/Reaction to simulate MAS. Journal of Artificial Intelligent 21, 5–6 (2007)Google Scholar
  17. 17.
    Pinney, J., Westhead, D., DcConkey, G.: Petri Net representations in systems biology. Biochem. Soc. Trans. 31, 1513–1515 (2003)CrossRefGoogle Scholar
  18. 18.
    Marzougui, B., Hassine, K., Barkaoui, K.: A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. Journal of Software Engineering and Applications (JSEA) 3(12), 1118–1120 (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Marzougui Borhen
    • 1
  • Khaled Hassine
    • 2
  • Kamel Barkaoui
    • 3
  1. 1.Emirates College of TechnologyAbu DhabiUAE
  2. 2.FSGCity Riadh, Zrig, GabèsTunisia
  3. 3.CNAMCedex 03 ParisFrance

Personalised recommendations