Modeling Steelmaking and Continuous Casting Plants by Timed Petri Nets