@inbook {1337,
	title = {Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems},
	booktitle = {Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD{\textquoteright}2005)},
	year = {2005},
	month = {09/2005},
	pages = {65-77},
	publisher = {Thomson Paraninfo},
	organization = {Thomson Paraninfo},
	address = {Madrid, Spain},
	isbn = {84-9732-432-3},
	author = {F. Tricas and F. Garc{\'\i}a-Vall{\'e}s and J.M. Colom and J. Ezpeleta},
	editor = {M.J. Hornos and J.L. Garrido}
}

