https://creativecommons.org/licenses/by-nc-nd/3.0/
DC FieldValueLanguage
dc.contributor.authorKöhler, Michael-
dc.contributor.authorRölke, Heiko-
dc.date.accessioned2020-08-26T09:21:03Z-
dc.date.available2020-08-26T09:21:03Z-
dc.date.issued2002-
dc.identifier.issn0105-8517en_US
dc.identifier.urihttp://hdl.handle.net/20.500.12738/2114-
dc.description.abstractMobility 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.en
dc.language.isoenen_US
dc.publisherAarhus Universityen_US
dc.relation.ispartofDAIMIen_US
dc.subjectagenten_US
dc.subjectmobile agent systemen_US
dc.subjectmobilityen_US
dc.subjectnets within netsen_US
dc.subjectPetri netsen_US
dc.subjectMulanen_US
dc.subjectRenewen_US
dc.subject.ddc004: Informatiken_US
dc.titleModelling Mobility and Mobile Agents using Nets within Netsen
dc.typeinProceedingsen_US
dc.relation.conferenceWorkshop on Modelling of Objects, Components and Agents 2002en_US
dc.description.versionPeerRevieweden_US
local.contributorPerson.editorMoldt, Daniel-
tuhh.container.endpage157en_US
tuhh.container.issue561en_US
tuhh.container.startpage141en_US
tuhh.container.volume31en_US
tuhh.oai.showtrueen_US
tuhh.publication.instituteUniversität Hamburgen_US
tuhh.publisher.doi10.7146/dpb.v31i561.7118-
tuhh.relation.ispartofseriesSecond Workshop on Modelling of Objects, Components and Agentsen_US
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.rights.cchttps://creativecommons.org/licenses/by-nc-nd/3.0/en_US
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dc.type.statusinfo:eu-repo/semantics/publishedVersionen_US
dcterms.DCMITypeText-
item.languageiso639-1en-
item.fulltextNo Fulltext-
item.creatorGNDKöhler, Michael-
item.creatorGNDRölke, Heiko-
item.tuhhseriesidSecond Workshop on Modelling of Objects, Components and Agents-
item.openairetypeinProceedings-
item.grantfulltextnone-
item.creatorOrcidKöhler, Michael-
item.creatorOrcidRölke, Heiko-
item.seriesrefSecond Workshop on Modelling of Objects, Components and Agents-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
crisitem.author.deptDepartment Informatik-
crisitem.author.orcid0000-0002-3074-4145-
crisitem.author.parentorgFakultät Technik und Informatik-
Appears in Collections:Publications without full text
Show simple item record

Page view(s)

99
checked on Jan 13, 2025

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record

Export

This item is licensed under a Creative Commons License Creative Commons