Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets | IEEE Conference Publication | IEEE Xplore