Real-time control policy for single-arm cluster tools with residency time constraints and activity time variation by using Petri net | IEEE Conference Publication | IEEE Xplore