摘要： 本文首先对Ｚｍｏｄｃｍ协议简单介绍，包括Ｚｍｏｄｅｍ的工作流程与使用，然后用Ｐｅｔｒｉ网对Ｚｍｏｄｅｍ进行描述和正确性验证，最后引人时间概念，对Ｚｍｏｄｅｍ协议用随机Ｐｅｔｒｉ网分析其吞吐车及延迟时间．在此基础上．对比Ｚｍｏｄｅｍ与Ｘｍｏｄｅｍ协议的效率，分析Ｚｍｏｄｅｍ协议的优势所在．另外Ｚｍｏｄｅｍ协议提出两点建议．

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

中图分类号: 

• TP393