Multiple-objective real-time scheduler for semiconductor wafer fab using Colored Timed Object-oriented Petri nets (CTOPN). - Huiran Liu; Zhibin Jiang; Yen-Fei Lee; Richard Y. K. Fung (SMC, 2003)