On Modelling and Simulating Open Pit Mine Through Stochastic Timed Petri Nets. - Adriano Chaves Lisboa; Flávio H. B. De Souza; César M. Ribeiro; Carlos A. Maia; Rodney R. Saldanha; Felipe L. B. Castro; Douglas A. G. Vieira (IEEE Access, 2019)