Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms