The application and verification of banker's algorithm for deadlock avoidance in flexible manufacturing system with spin.

Gang Xu, Zhiming Wu

Browse the full ICRA paper archive.