Synthesis of feedback control logic for a class of controlled Petri nets | IEEE Journals & Magazine | IEEE Xplore