A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures