Cintra, M., & 		Ruggiero, W.
1996 ago  4.  Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :