Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets.

Fernando Tricas, Joaqun Ezpeleta

Browse the full ETFA paper archive.