Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis | IEEE Conference Publication | IEEE Xplore