Extended Petri-net modeling for re-manufacturing line simulation | IEEE Conference Publication | IEEE Xplore