Probabilistic Nets-within-Nets
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912120969363456 |
|---|---|
| author | Köhler-Bußmeier, Michael |
| author_facet | Köhler-Bußmeier, Michael |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_10826 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Probabilistic Nets-within-Nets Köhler-Bußmeier, Michael Logic in Computer Science 68Q10 F.1.1 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. |
| title | Probabilistic Nets-within-Nets |
| topic | Logic in Computer Science 68Q10 F.1.1 |
| url | https://arxiv.org/abs/2411.10826 |