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

摘要

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