Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings (Q4540213): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1109/9.956052 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2099550549 / rank | |||
Normal rank |
Latest revision as of 01:05, 20 March 2024
scientific article; zbMATH DE number 1769439
Language | Label | Description | Also known as |
---|---|---|---|
English | Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings |
scientific article; zbMATH DE number 1769439 |
Statements
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings (English)
0 references
21 July 2002
0 references
deadlock avoidance
0 references
liveness
0 references
Petri nets
0 references
resource allocation systems
0 references
mixed integer programming
0 references