@inproceedings {1331,
	title = {A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems},
	booktitle = {2005 IEEE International Conference on Robotics & Automation (ICRA{\textquoteright}05)},
	year = {2005},
	month = {04/2005},
	pages = {272-278},
	address = {Barcelona, Spain},
	isbn = {0-7803-8914-X},
	author = {F. Tricas and F. Garc{\'\i}a-Vall{\'e}s and J.M. Colom and J. Ezpeleta}
}

