摘要： 本文首先对Kermit协议作了简单介绍,包括Kermit协议的一些主要特征以及它如何工作和使用,然后利用Petri网理论对Kermit协议进行正确性验证。

Abstract: This paper first introduces the Kermit protocol briefly, including some main characteristics of Kermit protocol and how it works and is used. Then the correctness of the Kermit protocol is verified by using the Petri net theory. ;