Text this: 随机高级Petri网用于计算机网络传输协议的模型与性能评价