Manufacturing Computing Laboratory,Electrical Engineering Department,University of Connecticut Storrs;
Key Laboratory of Integrated Automation of Process Industry,Northeastern University;
logical modes; CPLEX; branch and cut; Petri net; tool sequence optimization;