Probabilistic nets-within-nets

Link:
Autor/in:
Verlag/Körperschaft:
Arxiv.org
Erscheinungsjahr:
2024
Medientyp:
Text
Schlagworte:
  • Computer Science - Logic in Computer Science
  • 68Q10
  • F.1.1
  • nets-within-nets
  • discrete markov chains
  • MAPE-loop
  • 004: Informatik
  • ddc:004
Beschreibung:
  • In 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.
  • ReviewPending
Lizenz:
  • https://creativecommons.org/licenses/by-nc-sa/4.0/
Quellsystem:
ReposIt

Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/16678