A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures | IEEE Conference Publication | IEEE Xplore