IntelliSys 2016: Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016 pp 216-227 | Cite as
Petri Nets for Mobile Agent: Theory and Application
Conference paper
First Online:
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.
Keywords
Mobile agent Multi-agent system Specification Validation Verification PNMAMReferences
- 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.Briot, J., Demazeau, Y.: Introduction to agents: principles and architecture multi-agent systems. IC2 collection, Hermes (2001)Google Scholar
- 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.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.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.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.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.Ferber, J.: The Multi-agent Systems to Collective Intelligence. Inter Editions, Paris, pp. 33–47 (1995)Google Scholar
- 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.Kwon, H.C., Lee, J.T., Kim, H., Yoo, K.J.: A migration strategy of mobile agent. In: ICPADS (2001)Google Scholar
- 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.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.Wooldridge, M.: The Logical Modeling of Computational Multi-agent Systems. Ph.D. thesis, Manchester Metropolitan University (1992)Google Scholar
- 14.Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International, UK (1992)Google Scholar
- 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.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