@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} }