2005 | |
[1] | A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems ( ), In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, IEEE, 2005. |