|
|||||
|
|
| 基于着色解释Petri网的网络协议建模及协同仿真方法 | |
| 引用本文： | 彭磊,吴磊,毕亚雷,曾家智.基于着色解释Petri网的网络协议建模及协同仿真方法[J].计算机集成制造系统,2009,15(1). |
| 作者姓名： | 彭磊 吴磊 毕亚雷 曾家智 |
| 作者单位： | 1. 电子科技大学计算机科学与工程学院,四川,成都,610054;中国科学院深圳先进技术研究院,广东,深圳,518067 2. 电子科技大学计算机科学与工程学院,四川,成都,610054 3. 中国科学院深圳先进技术研究院,广东,深圳,518067 |
| 基金项目： | 电子信息产业发展基金 |
| 摘 要： | 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用. |
| 关 键 词： | 协议工程 离散事件系统 着色解释Petri网 建模 协同仿真 |
CIPN-based model building and collaborative simulation for network protocols |
|
| PENG Lei,WU Lei,BI Ya-lei,ZENG Jia-zhi.CIPN-based model building and collaborative simulation for network protocols[J].Computer Integrated Manufacturing Systems,2009,15(1). | |
| Authors: | PENG Lei WU Lei BI Ya-lei ZENG Jia-zhi |
| Affiliation: | 1.School of Computer Science & Engineering;University of Electronic Science & Technology of China;Chengdu 610054;China;2.Shenzhen Institute of Advanced Technology;Chinese Academy of Sciences;Shenzhen 518067;China |
| Abstract: | A novel Petri net derivate named Colored Interpreted Petri nets(CIPN) for complex discrete event system,which integrated Colored Petri Nets(CPN) and Interpreted Petri Nets(IPN),was proposed to bridge the gap between formal examination and simulation in protocol engineering.Inspired by the observer pattern,a universal scheme to enable CIPN working with protocol simulator collaboratively was also presented.As example,the Multiple Access Collision Avoidance(MACA) protocol was modeled by CIPN.By guaranteeing th... |
| Keywords: | protocol engineering discrete event system colored interpreted Petri nets model building collaborative simulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |