Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets | IEEE Conference Publication | IEEE Xplore