Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343)
From MaRDI portal
scientific article; zbMATH DE number 7807468
Language | Label | Description | Also known as |
---|---|---|---|
English | Modular rewritable Petri nets: an efficient model for dynamic distributed systems |
scientific article; zbMATH DE number 7807468 |
Statements
Modular rewritable Petri nets: an efficient model for dynamic distributed systems (English)
0 references
20 February 2024
0 references
\texttt{Maude}
0 references
PT nets
0 references
distributed systems
0 references
adaptation
0 references
model-checking
0 references
0 references
0 references