随机高级Petri网用于计算机网络传输协议的模型与性能评价 - 林闯; 吴建平; 王鼎兴 (Tongxin xuebao)