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