Decentralized supervisory control of reactive discrete-event systems