Controllability Conditions of Resultant Siphons in a Class of Petri Nets | IEEE Journals & Magazine | IEEE Xplore