Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting | IEEE Conference Publication | IEEE Xplore