Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution | Publicación