Back to Search
Start Over
Probabilistic Nets-within-Nets
- Publication Year :
- 2024
-
Abstract
- 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.
- Subjects :
- Computer Science - Logic in Computer Science
68Q10
F.1.1
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2411.10826
- Document Type :
- Working Paper