Guy Barroso and Virgilio Almeida. 1990.
 Modelagem de Sistemas de Software com Redes de Petri Estocásticas. In <em>Anais do IV Simpósio Brasileiro de Engenharia de Software</em>, outubro 24, 1990, Águas de São Pedro/São Paulo, Brasil. SBC, Porto Alegre, Brasil, 110-123. DOI: <a href="https://doi.org/10.5753/sbes.1990.24170">https://doi.org/10.5753/sbes.1990.24170</a>.