Cintra, Marcelo, E 		Ruggiero, Wilson.
" Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (4 agosto 1996)