Title of article
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
Author/Authors
Park، نويسنده , , J.، نويسنده , , Reveliotis، نويسنده , , S.P.، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2000
Pages
6
From page
190
To page
195
Keywords
deadlock avoidance , Petri netstructural analysis , sequential resource allocation. , Augmented marked graphs
Journal title
I E E E Transactions on Robotics and Automation
Serial Year
2000
Journal title
I E E E Transactions on Robotics and Automation
Record number
391459
Link To Document