Iterative Configuration of T-Timed Colored Petri Nets by a MILP Model for Rail Freight Volume and Rolling Stock Planning | IEEE Journals & Magazine | IEEE Xplore