Modeling Schduling Problems with Timed Petri Nets