Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions