Marcelo Cintra and Wilson Ruggiero. 1996. Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor. In Anais do VIII SimpĆ³sio de Arquitetura de Computadores e Processamento de Alto Desempenho, agosto 04, 1996, Recife, Brasil. SBC, Porto Alegre, Brasil, 37-46. DOI: https://doi.org/10.5753/sbac-pad.1996.19812.