M. Cintra and W. Ruggiero.
" Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor", in <em>Proceedings of the 8th Brazilian Symposium on Computer Architecture and High Performance Computing</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>.