The Description and Verification of Zmodem Protocol and Analysis Using Stochastic Petri Nets

Zmodem协议的Petri网描述验证及其随机性能评价