Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets | IEEE Conference Publication | IEEE Xplore