A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states (Q5745703)
From MaRDI portal
scientific article; zbMATH DE number 6252609
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states |
scientific article; zbMATH DE number 6252609 |
Statements
A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states (English)
0 references
30 January 2014
0 references
Petri nets
0 references
colored Petri nets
0 references
siphons
0 references
deadlocks
0 references
control
0 references
