一种使用Petri网络模型验证协议的方法

• 作者: 蔡俊杰
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: Petri网络模型 点火 状态变迁 可达树
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 技术交流
• 页码范围: 78-80
• 页数: 3页
• 分类号: TP393
• 字数: 3442字
• 语种: 中文

摘要

随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题.而新型网络协议的描述与验证又成为研究的关键.引入Petri网络模型,给出了一种协议验证的方法.通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便.并且提出了针对复杂的协议,可分解为若干个小部分,使用Petri模型,加之以有穷状态自动机和高级语言,可较完善地解决其描述和验证问题.所述的验证方法对于协议工程(protocol engineering)领域的研究,新的协议软件的产生,有着积极的推动作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡俊杰		2	4	1.0	2.0