State feedback control of discrete event systems using marked graphs | IEEE Conference Publication | IEEE Xplore