Supervisor design for a class of generalized Petri net with uncontrollable transitions | IEEE Conference Publication | IEEE Xplore