Author Login Chief Editor Login Reviewer Login Editor Login Remote Office

›› 1994, Vol. 20 ›› Issue (02): 33-40.

• Papers • Previous Articles     Next Articles

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

  

  • Published:1994-04-25

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

吴时霖,周奕   

  1. 复旦大学计算机系

摘要: 本文首先对Zmodcm协议简单介绍,包括Zmodem的工作流程与使用,然后用Petri网对Zmodem进行描述和正确性验证,最后引人时间概念,对Zmodem协议用随机Petri网分析其吞吐车及延迟时间.在此基础上.对比Zmodem与Xmodem协议的效率,分析Zmodem协议的优势所在.另外Zmodem协议提出两点建议.

关键词: Petri网,Zmodem协议,通信软件,验证,性能分析

CLC Number: