Barroso, Guy, E 		Almeida, Virgilio.
" Modelagem de Sistemas de Software com Redes de Petri Estocásticas" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (24 outubro 1990)