Development, analysis and evaluation of performance models for mobile multi-agent networks

Computer Journal

Volumn 49, Issue 6, 2006, Pages 685-709

  Koriem, Samir M ^a,b  

^a Al Azhar University   (Egypt)

^b Hardware Section   (Saudi Arabia)

Author keywords

GSPN technique; Mobile agent network; Performance analysis; Petri net reduction methods

Indexed keywords

COMPUTER SELECTION AND EVALUATION; MATHEMATICAL MODELS; MOBILE COMPUTING; MULTIPROCESSING SYSTEMS; PETRI NETS; RANDOM PROCESSES;

GENERALIZED STOCHASTIC PETRI NET; MOBILE AGENT NETWORK; PETRI NET REDUCTION METHODS;

MULTI AGENT SYSTEMS;

EID: 33750134974     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxl009     Document Type: Article

References (25)

1. Cabri, G., Ferrari, L. and Leonardi, L. (2004) Towards the use of mobile agent based message systems. In Proc. IEEE 13th Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Modena, Italy, June 14-16, pp. 401-409. IEEE Computer Society, USA.
2. Sinkovic, V. and Lovrek, I. (2002) Parallelism in mobile agent network. In Proc. 4th Int. Conf. Massively Parallel Computing Systems (MPCS-2002), Ischia, Italy, April 10-12, pp. 121-127. IEEE Computer Society, USA.
3. Liotta, A. and Pavlou, G. (2002) Exploiting agent mobility for large scale network monitoring. IEEE Netw., 16(3), 7-13.
4. Brewington, B., Gray, R., Moizumi, K., Kotz, D., Cybenko, G. and Rus, D. (1999) Mobile agents in distributed information retrieval. In Klusch, M. (ed.), Intelligent Information Agents, pp. 355-395. Springer Verlag, Berlin.
5. Gray, R., Kotz, D., Cybenko, G. and Rus, D. (2000) Mobile Agents: Motivations and State-of-the-Art Systems. Technical Report TR-2000-365, Computer Science Department, Dartmouth College, USA.
6. Jezic, G., Kusek, H. L. and Sinkovic, V. (2002) Modeling mobile agent network with parallel communicating agents. In Proc. 10th Int. Conf. Telecommunication, Systems, Modeling, and Analysis, Monterey, CA, October 3-6, pp. 775-782. IEEE Computer Society, USA.
7. Sinkovic, V. and Lovrek, I. (2000) Generic model of a mobile agent network suitable for performance evaluation. In Proc. 4th Int. Conf. Knowledge-Based Intelligent Engineering Systems & Allied Technologies, Brighton, UK, May 12-17, Vol. 2, pp. 675-678. IEEE Computer Society, USA.
8. Rana, O.F. and Biancheri, C. (1999) A Petri net model of the meeting design pattern for mobile stationary agent interaction. In Proc. 32nd Hawaii Int. Conf. System Sciences, Hawaii, Muai, HI, January 5-9, pp. 1-9. IEEE Computer Society, USA.
9. Ling, S. and Loke, S. W. (2002) Advanced Petri nets for modeling mobile agent Enabled Inter-organizational workflows. In Proc. 9th Int. Conf. Engineering of Computer-Based Systems (ECBS'2002), Lund University, Lund, Sweden, April 8-11, pp. 245-252. IEEE Computer Society, USA.
10. Ling, S. and Loke, S. W. (2001) Verification of itineraries for mobile agent enabled inter-organizational workflow. In Proc. 4th Int. Workshop on Mobility in Database and Distributed Systems, Munich, Germany, September 3-7, pp. 582-586. Springer-Verlag, Berlin.
11. Loke, S. W. and Ling, S. (2000) Mobile agent itineraries and workflow nets for analysis and enactment of distributed business processes. In Proc. Int. Symp. Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000) at the Int. ICSC Congress on Intelligent Systems and Applications (ISA'2000), Wollongong, Australia, December 11-12, Vol. 1, pp. 459-466. ICSC Academic Press, Australia.
12. Ling, S. and Loke, S. W. (2003) MIP-nets: A compositional model of multi-agent interaction. In Proc. 3rd Int./Central and Eastern European Conf. Multi-Agent Systems (CEEMAS 2003), Prague, Czech Republic, July 14-17, LNAI 2691, pp. 61-72. Springer-Verlag, Berlin.
13. Xu, D., Volz, R. A., Ioerger, T. R. and Yen, J. (2003) Modeling and analyzing multi-agent behaviors using predicate/transition nets. Int. J. Softw. Eng. Knowl. Eng., 13(1), 103-124.
14. Kim, J.-H. and Kim, T. G. (2000) Framework for modeling/simulation of mobile agent systems. In Proc. 2000 Conf. AI, Simulation and Planning in High Autonomy Systems, Tucson, AZ, March 6-8, pp. 53-59. IEEE Computer Society, USA.
15. Hairong, Q. I., Yingyue, X. U. and Xiaoling, W. (2003) Mobile agent based collaborative signal and information processing in sensor networks. Proc. IEEE, 91(8), 1172-1183.
16. Xu, D. and Deng, Yi (2000) Modeling mobile agent systems with high level Petri nets. In Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'00), Nashville, USA, October 8-11, pp. 3177-3182. IEEE computer society, USA.
17. Xu, D., Yin, J., Deng, Y. and Ding, J. (2003) A formal architectural model for logical agent mobility. IEEE Trans. Softw. Eng., 29(1), 31-45.
18. Chiola, G., Franceschinis, G., Gaeta, R. and Ribaudo, M. (1995) GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Perform. Eval., 24(1-2), 47-68.
19. Hirel, C., Trivedi, K. S. and Tuffin, B. (2000) SPNP Version 6.0. LNCS 1786, pp. 354-357, Springer-Verlag, Berlin.
20. Koriem, S. M. and El-Kilani, W. S. (2004) A new disk based technique for solving the largeness problem of stochastic modeling formalisms. J. Syst. Softw., 72(3), 349-365.
21. Caselli, S., Conte, G. and Marenzoni, P. (2001) A distributed algorithm for GSPN reachability graph generation. J. Parall. Distr. Comput., 61(1), 75-95.
22. Davies, I., Knottenbelt, W. J. and Kritzinger, P. S. (2002) Symbolic methods for the state space exploration of GSPN models. In Proc. 12th Int. Conf. Modeling Techniques and Tools (TOOLS 2002), London, UK, April 14-17, pp. 188-199. IEEE Computer Society, USA.
23. Hyung, K. and Favrel, J. (1985) Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Trans. Syst. Man Cybern., 15(2), 272-280.
24. Koriem, S. M. (1999) Fast and simple decomposition techniques for the reliability analysis of interconnection networks. J. Syst. Softw., 45(2), 155-171.
25. Murata, T. (1989) Petri nets: Properties, analysis and applications. Proc. IEEE, 77(4), 541-580.