Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets | IEEE Conference Publication | IEEE Xplore