Decentralized modular control of concurrent discrete event systems | IEEE Conference Publication | IEEE Xplore