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

摘要：

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

关键词：Petri网络模型、点火、状态变迁、可达树

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

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

页数：共3页

页码：78-80