Fernando Tricas, F. García-Vallés, José Manuel Colom, Joaquin Ezpeleta. 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. pages 271-277, IEEE, 2005.
Abstract is missing.