Decentralized control of discrete event systems using prioritized composition with exclusion | IEEE Conference Publication | IEEE Xplore