Marcelo Cintra and Wilson Ruggiero. 1996.
 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>, August 04, 1996, Recife, Brasil. SBC, Porto Alegre, Brasil, 37-46. DOI: <a href="https://doi.org/10.5753/sbac-pad.1996.19812">https://doi.org/10.5753/sbac-pad.1996.19812</a>.