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 s... |
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 |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons