Cintra, Marcelo, and Wilson V. Ruggiero. "A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets." Anais do VII SimpĆ³sio de Arquitetura de Computadores e Processamento de Alto Desempenho, Canela, 1995. SBC, 1995, pp.581-593.