A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets | IEEE Journals & Magazine | IEEE Xplore