网络传输层协议的随机Petri网模型及性能分析

General High-level Stochastic Petri Nets for Modeling and Performance Analysis of A Transport Protocol