Performance Petri net analysis of communications protocol software by delay-equivalent aggregation | IEEE Conference Publication | IEEE Xplore