Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools | IEEE Journals & Magazine | IEEE Xplore