In this paper, a method for describing protocols with Petri nets is introduced, and a Petri net specification for the ISO transport protocol class 3 is provided.

• 本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进行了分析,然后讨论了所给的结果。