Abstract: This paper presents a mixed-integer linear programming (MILP) generation based on colored timed Petri nets for optimal resource assignment problems. As a target system, we treat a system of ...