On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems | IEEE Conference Publication | IEEE Xplore