On Modelling and Simulating Open Pit Mine Through Stochastic Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore