Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets | IEEE Conference Publication | IEEE Xplore