Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools | IEEE Conference Publication | IEEE Xplore