Cintra, Marcelo, and Wilson V. Ruggiero. " Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor." Proceedings of the 8th Symposium on Computer Architecture and High Performance Computing, Recife, 1996. SBC, 1996, pp.37-46.