Enumeration algorithms for minimal siphons in Petri nets based on place constraints | IEEE Journals & Magazine | IEEE Xplore