G. Barroso and V. Almeida. " Modelagem de Sistemas de Software com Redes de Petri Estocásticas", in Anais do IV Simpósio Brasileiro de Engenharia de Software, Águas de São Pedro/São Paulo, 1990, pp. 110-123, doi: https://doi.org/10.5753/sbes.1990.24170.