M. Cintra and W. Ruggiero.
"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>, Recife, 1996, pp. 37-46, doi: <a href="https://doi.org/10.5753/sbac-pad.1996.19812">https://doi.org/10.5753/sbac-pad.1996.19812</a>.