Colored timed Petri-net and GA based approach to modeling and scheduling for wafer probe center | IEEE Conference Publication | IEEE Xplore