Modelling mobility and mobile agents using nets within nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2679, Issue , 2003, Pages 121-139

  Köhler, Michael ^a   Moldt, Daniel ^a   Rölke, Heiko ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Agent; High level Petri nets; Mobile agent system; Mobility; Mulan; Nets within nets; Renew

Indexed keywords

AGENTS; CARRIER MOBILITY; FORMAL METHODS; LIFE CYCLE; PETRI NETS; SEMANTICS;

HIGH-LEVEL PETRI NETS; MOBILE AGENT SYSTEM; MULAN; NETS-WITHIN-NETS; RENEW;

MOBILE AGENTS;

EID: 35248897045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_11     Document Type: Article

References (40)

1. Andrea Asperti and Nadia Busi. Mobile Petri nets. Technical report, Department of computer science, University of Bologna, TR UBLCS-96-10, 1996.
2. Jean-Pierre Briot, Walter Merlat, and Min-Jung Yoo. Modelling and validation of mobile agents on the web. In 1998 International Conference on Web-based Modeling and Simulation, pages 23-28, 1998.
3. Lorenzo Bettini and Rocco De Nicola. Translating strong mobility into weak mobility. In Gian Pietro Picco (Ed.), Mobile Agents. 5th International Conference, MA 2001, Atlanta. Proceedings, volume 2240 of Lecture Notes in Computer Science, page 182 pp., Springer Verlag, Berlin, 2001.
4. Bernhard Bauer, James Odell, and H. van Dyke Parunak. Extending UML for Agents. In Proceeding of Agent-Oriented Information Systems Workshop, pages 3-17, 2000.
5. Luca Cardelli, Andrew D. Gordon, and Giorgio Ghelli. Ambient groups and mobility types. Technical report, Microsoft Research and University of Pisa, 2000.
6. Søren Christensen and Niels Damgaard Hansen. Coloured Petri nets extended with channels for synchronous communication. In Robert Valette (Ed.), Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159-178, Springer Verlag, Berlin, June 1994.
7. W. Chainbi, C. Hanachi, and C. Sibertin-Blanc. The multi-agent prey/predator problem: A Petri net solution. In Borne, P., Gentina, J.C., Craye, E., and El Khattabi, S. (Eds.), Proceedings of the CESA'96 Conference, Computational Engineering in Systems Applications, Lille, France, pages 291-299. IEEE Society Press, July 1996.
8. G. Cabri, L. Leonardi, and F. Zambonelli. Weak and strong mobility in mobile agent applications. In Proceedings of the 2nd International Conference and Exhibition on The Practical Application of Java (PA JAVA 2000), Manchester (UK), April 2000.
9. Marco Cremonini, Andrea Omicini, and Franco Zambonelli. Modelling network topology and mobile agent interaction: An integrated framework. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99), 1999.
10. Michael Duvigneau, Daniel Moldt, and Heiko Rölke. Concurrent architecture for a multi-agent platform. In Proceedings of the 2002 Workshop on Agent Oriented Software Engineering (AOSE'02), volume 2585 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2003.
11. Michael Duvigneau. Bereitstellung einer Agentenplattform für petrinetzbasierte Agenten. Master's thesis, University of Hamburg, Computer Science Department, Germany, 2002.
12. Joao M. Fernandes and Orlando Belo. Modeling Multi-Agent Systems Activities Through Colored Petri Nets. In 16th IASTED International Conference on Applied Infomatics (AI'98), pages 17-20, Garmisch-Partenkirchen, Germany, Feb. 1998.
13. Jaques Ferber. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley Longman, Harlow, UK, 1999.
14. Jaques Ferber and Oliver Gutknecht. A meta-model for the analysis and design of organization in multi-agent systems. In Proc. of ICMAS, 1998.
15. Foundation for Intelligent Physical Agents. FIPA Agent Management Support for Mobility Specification, 30. June 2000. Available at http://www.fipa.org/specs/fipa00087/.
16. Martin Fowler. Analysts patterns: reusable object models. Addison-Wesley series in object-oriented software engineering. Addison-Wesley, 1997.
17. Gustavo M. Gois, Angelo Perkusich, Jorge C. A. de Figueiredo, and Evandro B. Costa. Towards a multi-agent interactive learning environment oriented to the Petri net domain. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, USA, pages 250-255, October 1998.
18. OMG (Object Management Group). MASIF - Multi Agent System Interoperability Facility. Technical report, OMG, 1998.
19. Jarle Hulaas and Didier Buchs. An experiment with coordinated algebraic Petri nets as formalism for modeling mobile agents. In Workshop on Modelling of Objects, Components, and Agents (MOCA'01) / Daniel Moldt (Ed.), pages 73-84. DAIMI PB-553, Aarhus University, August 2001.
20. Kurt Jensen. Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use, volume 1 of EATCS monographs on theoretical computer science. Springer Verlag, Berlin, 1992.
21. Michael Köhler, Daniel Moldt, and Heiko Rölke. Modelling the structure and behaviour of Petri net agents. In J.M. Colom and M. Koutny (Eds.), Proceedings of the 22nd Conference on Application and Theory of Petri Nets, volume 2075 of Lecture Notes in Computer Science, pages 224-241. Springer Verlag, Berlin, 2001.
22. Michael Köhler and Heiko Rölke. Mobile object net systems: Concurrency and mobility. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke (Eds.), Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), Berlin, 2002.
23. Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis (Eds.), Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 73-78. University of Hamburg, Computer Science Department, 1998.
24. Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.
25. Olaf Kummer and Frank Wienberg. Reference net workshop (Renew). University of Hamburg, http://www.renew.de, 1998.
26. Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew - User Guide. University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Deutschland, 1.6 edition, 2002.
27. Toshiyuki Miyamoto and Sadatoshi Kumagai. A Multi Agent Net Model of Autonomous Distributed Systems. In Proceedings of CESA '96, Symposium on Discrete Events and Manufacturing Systems, pages 619-623, 1996.
28. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts 1-2. Information and computation, 100(1):1-77, 1992.
29. Daniel Moldt and Frank Wienberg. Multi-Agent-Systems based on Coloured Petri Nets, volume 1248 in Lecture Notes in Computer Science, pages 82-101, Springer Verlag, Berlin, 1997.
30. Rational Software Corporation. Rational UML Homepage. URL: http://www.rational.com/uml/, 2000.
31. Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, Berlin, 1985.
32. Heiko Rölke. The Multi Agent Framework Mulan. Technical report, University of Hamburg, 2002.
33. Sunsoft. Java Online Reference Manual, http://www.javasoft.com.
34. Adelinde M. Uhrmacher, Petra Tyschler, and Dirk Tyschler. Modeling and simulation of mobile agents. Elsevier, Artificial Intelligence, 2000.
35. Rüdiger Valk. Modelling of task flow in systems of functional units. Technical Report FBI-HH-B-124/87, University of Hamburg, 1987.
36. Rüdiger Valk. Petri nets as token objects: An introduction to elementary object nets. In Jörg Desel and Manuel Silva (Eds.), Application and Theory of Petri Nets, volume 1420 of LNCS, pages 1-25, June 1998.
37. Rüdiger Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2001.
38. Jan Vitek and Giuseppe Castagna. Seal: A framework for secure mobile computations. In ICCL Workshop: Internet Programming Languages, pages 47-77, 1998.
39. Dianxiang Xu and Yi Deng. Modeling mobile agent systems with high level Petri nets. In Proc. of IEEE International Conference on Systems, Man, and Cybernetics (SMC'00), pages 3177-3182, Nashville, October 2000.
40. Haiping Xu and Sol M. Shatz. A Framework for Modeling Agent-Oriented Software. In Proc. of the 21th International Conference on Distributed Computing Systems (ICDCS-21), Phoenix, Arizona, April 2001.