基于Petri网的协议辅助设计工具的实现

The Implementation of An Auxilary Protocol Design Tool Based on Petri Nets

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．

The implementation details of an auxilary tool for protocol design are given。The tool'scontribution to CAPE(Computer Auxilary Protocol Engineering)is provided。