Petri Nets for Mobile Agent: Theory and Application

  • Walid Ben Mesmia
  • Borhan MarzouguiEmail author
  • Kamel Barkaoui
Conference paper
Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 16)


The present paper aims to propose a model enabling the specification, verification and validation of the behavior for a mobile agent. The model studies the integration, commitment and migration of a mobile agent. The model PNMAM (Peri Net in Mobile Agent Model) is an extension of classical Petri nets with places, transitions and marking the graph, what useful in the validation phase.


Mobile agent Multi-agent system Specification Validation Verification PNMAM 


  1. 1.
    Pouyan, A., Reeves, S.: Behavioral modeling for mobile agent system using petri net. In: International Conference on Systems, Man and Cybernetics. IEEE, Piscataway, NJ, US (2004)Google Scholar
  2. 2.
    Briot, J., Demazeau, Y.: Introduction to agents: principles and architecture multi-agent systems. IC2 collection, Hermes (2001)Google Scholar
  3. 3.
    Collinot, A., Drogoul, A.: Agent oriented design of a soccer robot team. In: Tokoro, M. (ed.) Second International Conference on Multi-Agent Systems (ICMAS 1996), Nara, Japan, pp. 41–47. AAAI Press (1996)Google Scholar
  4. 4.
    Collis, J.C., Ndumu, D.T., Nwana, H.S., Lee, L.C.: The ZEUS agent building toolkit. BT Technol. J. 16(3), 60–68 (2014)CrossRefGoogle Scholar
  5. 5.
    Chaib-draa, B., Jarras, I., Moulin, B.: Multi agent systems: general principles and applications. In: Briot, J.P., Demazeau, Y. (eds.) Agent and Multi Agent Systems, Hermès (2010). Forth coming articleGoogle Scholar
  6. 6.
    Castro, J., Kolp, M., Mylopoulos, J.: A requirements-driven development methodology. In: 13th International Conference on Advanced Information Systems Engineering (CAiSE 2001). Lecture Notes in Computer Science (LNCS), vol. 2068, pp. 108–123. Springer (2001)Google Scholar
  7. 7.
    Wang, F.Y., Tsolkas, A.: A petri net coordination model for an intelligent mobile robot. IEEE Trans. Syst. Man Cybern. 21, 777–789 (2014)CrossRefGoogle Scholar
  8. 8.
    Ferber, J.: The Multi-agent Systems to Collective Intelligence. Inter Editions, Paris, pp. 33–47 (1995)Google Scholar
  9. 9.
    Fisher, M.: A survey of concurrent metatem the language and its applications. In: Temporal Logic Proceedings of the First International Conference. LNCS, vol. 827, Springer (1994)Google Scholar
  10. 10.
    Kwon, H.C., Lee, J.T., Kim, H., Yoo, K.J.: A migration strategy of mobile agent. In: ICPADS (2001)Google Scholar
  11. 11.
    Marzougui, B., Hassine, K., Barkaoui, K.: A new formalism for modeling a multi agent systems: agent petri nets. J. Softw. Eng. Appl. (JSEA) 3(12), 1118–1124 (2010)CrossRefGoogle Scholar
  12. 12.
    Padgham, L., Winikoff, M.: Prometheus: a methodology for developing intelligent agents. In: Proceedings of the Third International Workshop on Agent Oriented Software Engineering. AAMAS, Bologna, Italy (2002)Google Scholar
  13. 13.
    Wooldridge, M.: The Logical Modeling of Computational Multi-agent Systems. Ph.D. thesis, Manchester Metropolitan University (1992)Google Scholar
  14. 14.
    Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International, UK (1992)Google Scholar
  15. 15.
    Luck, M., Griffiths, N., d’Inverno, M.: From agent theory to agent construction: a case study. In: Müller, J.P., Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents III. LNAI, vol. 1193. Springer (1997)Google Scholar
  16. 16.
    Zhou, Y., Yan, X., Huang, Z.: A graph transformation based approach for modeling component level migration in mobile environment. In: IEEE 36th International Conference on Computer Software and Applications Workshops (2012)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Walid Ben Mesmia
    • 1
  • Borhan Marzougui
    • 2
    Email author
  • Kamel Barkaoui
    • 3
  1. 1.IT Department, Faculty of SciencesUniversity of GABESGabesTunisia
  2. 2.IT DepartmentEmirates College of TechnologyAbu DhabiUAE
  3. 3.CEDRICCNAM of ParisParisFrance

Personalised recommendations