A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting | IEEE Journals & Magazine | IEEE Xplore