Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems | IEEE Journals & Magazine | IEEE Xplore