DC FieldValueLanguage
dc.contributor.authorKöhler-Bußmeier, Michael-
dc.contributor.authorCapra, Lorenzo-
dc.date.accessioned2024-12-06T16:30:04Z-
dc.date.available2024-12-06T16:30:04Z-
dc.date.issued2025-06-08-
dc.identifier.isbn978-3-031-94634-9en_US
dc.identifier.isbn978-3-031-94633-2en_US
dc.identifier.isbn978-3-031-94635-6en_US
dc.identifier.issn1611-3349en_US
dc.identifier.urihttps://hdl.handle.net/20.500.12738/16678-
dc.description.abstractIn this paper we study Hornets extended with firing probabilities. Hornets are a Nets-within-Nets formalism, i.e., a Petri net formalism where the tokens are Petri nets again. Each of these net-tokens has its own firing rate, independent from the rates of other net-tokens. Hornets provide algebraic operations to modify net-tokens during the firing. For our stochastic extension these operators could also modify the net-token's firing rate. We use our model to analyse self-modifying systems quantitatively. Hornets are very well suited to model self-adaptive systems performing a MAPE-like loop (monitoring-analyse-plan-execute). Here, the system net describes the loop, and the net-tokens describe the adapted model elements.en
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofLecture notes in computer scienceen_US
dc.subjectnets-within-netsen_US
dc.subjectdiscrete markov chainsen_US
dc.subjectMAPE-K-Loopen_US
dc.subjectAdaptive Systemsen_US
dc.subjecthornetsen_US
dc.subjectMaudeen_US
dc.subjectSelf-Modification at Run-Timeen_US
dc.subject.ddc004: Informatiken_US
dc.titleAnalysing probabilistic hornetsen
dc.typeinProceedingsen_US
dc.relation.conferenceInternational Conference on Application and Theory of Petri Nets and Concurrency 2025en_US
dc.description.versionPeerRevieweden_US
local.contributorPerson.editorAmparore, Elvio-
local.contributorPerson.editorMikulski, Łukasz-
tuhh.container.endpage309en_US
tuhh.container.startpage287en_US
tuhh.container.volume15714en_US
tuhh.oai.showtrueen_US
tuhh.publication.instituteDepartment Informatiken_US
tuhh.publication.instituteFakultät Technik und Informatiken_US
tuhh.publisher.doi10.1007/978-3-031-94634-9_14-
tuhh.publisher.doi10.48550/arXiv.2411.10826-
tuhh.relation.ispartofseriesApplication and Theory of Petri Nets and Concurrency : 46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedingsen_US
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dc.type.statusinfo:eu-repo/semantics/publishedVersionen_US
dcterms.DCMITypeText-
local.comment.externalPreprint: https://doi.org/10.48550/arXiv.2411.10826. Verlagsversion: https://doi.org/10.1007%2F978-3-031-94634-9_14.en_US
item.tuhhseriesidApplication and Theory of Petri Nets and Concurrency : 46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedings-
item.languageiso639-1en-
item.creatorGNDKöhler-Bußmeier, Michael-
item.creatorGNDCapra, Lorenzo-
item.seriesrefApplication and Theory of Petri Nets and Concurrency : 46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedings-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.creatorOrcidKöhler-Bußmeier, Michael-
item.creatorOrcidCapra, Lorenzo-
item.openairetypeinProceedings-
item.grantfulltextnone-
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)

56
checked on Aug 10, 2025

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record


Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.