Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson. Abstractions for nonblocking supervisory control of Extended Finite Automata. In 2012 IEEE International Conference on Automation Science and Engineering, CASE 2012, Seoul, Korea (South), August 20-24, 2012. pages 364-370, IEEE, 2012. [doi]
Abstract is missing.