Cintra, Marcelo, AND Ruggiero, Wilson. " A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets" Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (29 July 1995)