Cintra, Marcelo, and Wilson V. Ruggiero. " A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets." Proceedings of the 7th Brazilian Symposium on Computer Architecture and High Performance Computing, Canela, 1995. SBC, 1995, pp.581-593.