基于Petri网的协议分析技术及工具

摘要：

研究基于Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计,进而阐述该工具主要功能模块实现的思路和算法,并将其应用于对AB通讯协议的描述和性能测试分析,表明所开发的工具的有效性.

关键词：协议分析器、P/T网、关联矩阵、可达树、可覆盖性 树、不变量、AB协议

所属期刊栏目：22

分类号：TP301.2(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：6-11