Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net | IEEE Conference Publication | IEEE Xplore