Cintra, M., & 		Ruggiero, W.
(1996).
 Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor.
In <em>Anais do VIII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, (pp. 37-46). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1996.19812