论文部分内容阅读
研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．
The implementation details of Peton, a protocol-aided design tool based on Petri net, are studied. This research is a useful attempt on the methodology of Computer Assisted Protocols Engineering (CAPE).