Stochastic timed Petri nets to dynamically design and simulate industrial production processes