Colored Petri net methods for performance analysis of scalable high-speed interconnects | IEEE Conference Publication | IEEE Xplore