Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets | IEEE Journals & Magazine | IEEE Xplore