HeSuan Hu, MengChu Zhou, Yang Liu. Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. pages 1139-1144, IEEE, 2013. [doi]
Abstract is missing.