Cintra, M., & 		Ruggiero, W.
1996 Aug  4.  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] :