Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution | IEEE Journals & Magazine | IEEE Xplore