Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion | IEEE Journals & Magazine | IEEE Xplore