Computationally Efficient Supervisor Design: Control Flow Decomposition

This paper presents structural criteria for qualitative reasoning and reduction in discrete event systems. On this basis, the computation of a control synthesis may be considerably simplified. Interconnections among plant components and specifications are captured by a new modeling tool, control-flow net. Special net structures that guarantee nonblocking control are identified