Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (Q5138481)
From MaRDI portal
scientific article; zbMATH DE number 7281991
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets |
scientific article; zbMATH DE number 7281991 |
Statements
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (English)
0 references
4 December 2020
0 references
distributed system
0 references
service specification
0 references
protocol specification
0 references
protocol synthesis
0 references
protocol re-synthesis
0 references
Petri net
0 references
