Nonblocking Supervisory Control of State Tree Structures - Ma, Chuan (Springer, 2005)