Automatic Generation of Mixed Integer Programming for Scheduling Problems Based on Colored Timed Petri Nets. - Andrea Veronica Porco; Ryosuke Ushijima; Morikazu Nakamura (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)