Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem