Barroso, G., & Almeida, V. (1990). Modelagem de Sistemas de Software com Redes de Petri Estocásticas. In Proceedings of the 4th Brazilian Symposium on Software Engineering, (pp. 110-123). Porto Alegre: SBC. doi:10.5753/sbes.1990.24170