M. Cintra and W. Ruggiero.
" Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor", in Anais do VIII SimpĆ³sio de Arquitetura de Computadores e Processamento de Alto Desempenho, Recife, 1996, pp. 37-46, doi: https://doi.org/10.5753/sbac-pad.1996.19812.