Hesuan Hu, Yan Yang, Yang Liu, Chen Chen: Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis. CASE 2014: 449-454