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
Keywords :
deadlock avoidance , Petri netstructural analysis , sequential resource allocation. , Augmented marked graphs
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation
