Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net | IEEE Conference Publication | IEEE Xplore