A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions | IEEE Journals & Magazine | IEEE Xplore