Flow optimization method for control synthesis of flexible manufacturing systems modeled by controlled timed Petri nets | IEEE Conference Publication | IEEE Xplore