A timed Petri net framework to find optimal IRIS schedules Matthias Werner — 2006 Control and Cybernetics