Supervisory control of partially observable marked graphs | IEEE Journals & Magazine | IEEE Xplore