Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of the deadlock problem for Petri nets modeling resource allocation systems |
scientific article |
Statements
Complexity of the deadlock problem for Petri nets modeling resource allocation systems (English)
0 references
13 December 2019
0 references
Petri nets
0 references
deadlock
0 references
resource allocation systems
0 references
collaboration
0 references
PSPACE-completeness
0 references
NP-completeness
0 references
0 references
0 references
