@inproceedings {TricasEzpeletaETFA99,
	title = {A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.},
	year = {1999},
	month = {10},
	pages = {1047-1056},
	author = {F. Tricas and J. Ezpeleta}
}

