A modified normality condition for decentralized supervisory control of discrete event systems | IEEE Conference Publication | IEEE Xplore