Cintra, Marcelo, and Wilson V. Ruggiero.
"Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor." <em>Anais do VIII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho,
Recife, 1996</em>. SBC, 1996,  
pp.37-46.