@inproceedings {TrEz-03,
	title = {Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets},
	year = {2003},
	month = {9},
	pages = {16-29},
	author = {F. Tricas and J. Ezpeleta}
}

