Modelagem de Sistemas de Software com Redes de Petri Estocásticas. - Guy Barroso; Virgílio Almeida 001 (SBES, 1990)