A general architecture for reliable decentralized supervisory control of discrete event systems