A color petri net based scheduling model for remanufacturing system with stochastic process routing | IEEE Conference Publication | IEEE Xplore