@article {EzRe-04, title = {A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems}, journal = {IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans}, volume = {34}, year = {2004}, month = {1}, author = {J. Ezpeleta and L. Recalde} }