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