Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
Briot, J., Demazeau, Y.: Introduction to agents: principles and architecture multi-agent systems. IC2 collection, Hermes (2001)
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)
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)
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 article
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)
Wang, F.Y., Tsolkas, A.: A petri net coordination model for an intelligent mobile robot. IEEE Trans. Syst. Man Cybern. 21, 777–789 (2014)
Ferber, J.: The Multi-agent Systems to Collective Intelligence. Inter Editions, Paris, pp. 33–47 (1995)
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)
Kwon, H.C., Lee, J.T., Kim, H., Yoo, K.J.: A migration strategy of mobile agent. In: ICPADS (2001)
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)
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)
Wooldridge, M.: The Logical Modeling of Computational Multi-agent Systems. Ph.D. thesis, Manchester Metropolitan University (1992)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International, UK (1992)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Ben Mesmia, W., Marzougui, B., Barkaoui, K. (2018). Petri Nets for Mobile Agent: Theory and Application. In: Bi, Y., Kapoor, S., Bhatia, R. (eds) Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016. IntelliSys 2016. Lecture Notes in Networks and Systems, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-56991-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-56991-8_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-56990-1
Online ISBN: 978-3-319-56991-8
eBook Packages: EngineeringEngineering (R0)