A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures