Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions.