Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations | IEEE Conference Publication | IEEE Xplore