Supervisory control of concurrent discrete-event systems

Concurrency is a common feature in most industrial systems, where several components can execute different actions simultaneously. In this paper we first bring in a new supervisory control map for a concurrent system, and subsequently a new concept of concurrent controllability, then we show that the supremal concurrently controllable and normal sublanguages exist, which can be computed by an algorithm proposed in the paper.