Automatic Generation of Mixed Integer Programming for Scheduling Problems Based on Colored Timed Petri Nets