摘要
对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。
The thesis breaks down digital home wireless radio frequency communication protocol to a serial of compositions,elaborates each composition＇s process and builds a communication protocol model based on Petri Net.Reachability graph is used upon the model to analyse the protocol Petri Net model＇s dynamic properties in order to verify the protocol＇s validity,thus providing a new idea on further studying and applying the protocol.
出处
《计算机应用与软件》
CSCD
2011年第10期89-92,共4页
Computer Applications and Software
基金
粤港关键领域重点突破项目(2007A090601001)
