Nonblocking Distributed State-Tree-Structures

Discrete-event systems encompass a wide variety of today’s systems including manufacturing cells and networking protocols. To prevent a system from entering a forbidden state and to ensure nonblockingness, it is desirable to control, or restrict, the behavior of such a system. The supervisory control paradigm allows for the synthesis of a...