M. Cintra and W. Ruggiero. "A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets", in Anais do VII SimpĆ³sio de Arquitetura de Computadores e Processamento de Alto Desempenho, Canela, 1995, pp. 581-593, doi: https://doi.org/10.5753/sbac-pad.1995.19889.