publicações selecionadas Modelagem e Simulação de Sistemas a Eventos Discretos Via Redes de Petri Estocásticas: Aplicação Em Mineração