|
|||||
|
|
| 基于Petri网的数字家庭无线射频协议研究 | |
| 作者姓名： | 刘云 郑红 |
| 作者单位： | 华东理工大学计算机科学与工程系;上海市计算机软件评测重点实验室; |
| 基金项目： | 粤港关键领域重点突破项目(2007A090601001) |
| 摘 要： | 对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。 |
| 关 键 词： | Petri网 射频协议 建模 可达图 |
| 本文献已被 CNKI 等数据库收录！ | |