@inproceedings {TE-2,
	title = {A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources},
	year = {1999},
	month = {10},
	pages = {1047-1098},
	publisher = {IEEE Industrial Electronics Society},
	organization = {IEEE Industrial Electronics Society},
	author = {F. Tricas and J. Ezpeleta},
	editor = {Fuertes}
}

