Modelling Mobility and Mobile Agents using Nets within Nets

Köhler, Michael; Rölke, Heiko

doi:10.7146/dpb.v31i561.7118

Verlagslink DOI:	10.7146/dpb.v31i561.7118
Titel:	Modelling Mobility and Mobile Agents using Nets within Nets
Sprache:	Englisch
Autorenschaft:	Köhler, Michael Rölke, Heiko
Herausgeber*In:	Moldt, Daniel
Schlagwörter:	agent; mobile agent system; mobility; nets within nets; Petri nets; Mulan; Renew
Erscheinungsdatum:	2002
Verlag:	Aarhus University
Teil der Schriftenreihe:	Second Workshop on Modelling of Objects, Components and Agents
Zeitschrift oder Schriftenreihe:	DAIMI
Zeitschriftenband:	31
Zeitschriftenausgabe:	561
Anfangsseite:	141
Endseite:	157
Konferenz:	Workshop on Modelling of Objects, Components and Agents 2002
Zusammenfassung:	Mobility creates a new challenge for dynamic systems in all phases of the life cycle, like modelling, execution, and verification. In this work we present an application area of the paradigm "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.
URI:	http://hdl.handle.net/20.500.12738/2114
ISSN:	0105-8517
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Universität Hamburg
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text