Cintra, Marcelo, AND Ruggiero, Wilson. " Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor" Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (4 August 1996)