Net structure and control logic synthesis of controlled Petri nets | IEEE Journals & Magazine | IEEE Xplore