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

Method of Protocol Validation by Using Petri Network Model

作　　者：蔡俊杰 

机构地区：[1]肇庆广播电视大学

出　　处：《微型电脑应用》2016年第4期78-80,共3页Microcomputer Applications

摘　　要：随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便。并且提出了针对复杂的协议,可分解为若干个小部分,使用Petri模型,加之以有穷状态自动机和高级语言,可较完善地解决其描述和验证问题。所述的验证方法对于协议工程(protocol engineering)领域的研究,新的协议软件的产生,有着积极的推动作用。With the rapid development of computer networks,the development of new network protocol has become a hot research topic.The description and validation of a new network protocol has become the key of research.This paper introduces the Petri network model,and gives the method of protocol verification.Through the description of the Petri network model,the model provides convenience for protocol verification process with good visibility.And the complex protocols can be decomposed into several small parts.By using the Petri model,it can be a better solution to the problem description and validation combining with the finite state automata and advanced language.Validation of the method presented in this paper for the protocol engineering（Protocol Engineering）research in the field and the new protocol software,has a positive role in promoting.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]