A new linear constraint transformation approach for Petri nets with uncontrollable transitions | IEEE Conference Publication | IEEE Xplore