For the most recent entries see the Petri Nets Newsletter.

Modelling Mobility and Mobile Agents using Nets within Nets.

Köhler, Michael; Rölke, Heiko

In: Daniel Moldt (Ed.): Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA'02), Aarhus, Denmark, August 26-27, 2002, pages 141-157. Technical Report DAIMI PB-561, August 2002. Available online: http://www.daimi.au.dk/CPnets/workshop02/moca/papers/.

Abstract: Mobility creates a new challenge for dynamic systems in all stages of modelling, execution, and verification.

In this work we present an application area of the paradigm of ``nets within nets''. Nets within nets are well suited to express the dynamics of open, mobile systems. The advantages of Petri nets -- intuitive graphical representation and formal semantics -- are retained and supplemented with a uniform way to model mobility and mobile (agent) systems. First the modelling of mobility is introduced in general, the results are carried forward to model mobility in the area of agent systems. The practicality of the approach is shown in a second step by modelling a small case study implementing a household robot system.

Keywords: agent; mobile agent system; mobility; nets within nets; Petri nets; Mulan; Renew.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography