Petri net-based real-time scheduling of time-constrained single-arm cluster tools with activity time variation | IEEE Conference Publication | IEEE Xplore