Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets | Publicación