Controller study of DES Petri net with uncontrollable transition | IEEE Conference Publication | IEEE Xplore