In decentralized supervisory control, several local control agents (supervisors) cooperate to achieve a common goal expressed by a safety specification and/or nonblockingness.