基于着色解释Petri网的网络协议建模及协同仿真方法CIPN-based model building and collaborative simulation for network protocols
文献类型:期刊论文
作者 | 彭磊; 吴磊; 毕亚雷; 曾家智 |
刊名 | 计算机集成制造系统Computer Integrated Manufacturing Systems
![]() |
出版日期 | 2009 |
卷号 | 15期号:1页码:82-88,96 |
英文摘要 | 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。 |
收录类别 | EI |
原文出处 | http://d.wanfangdata.com.cn/periodical_jsjjczzxt200901011.aspx |
语种 | 中文 |
源URL | [http://ir.siat.ac.cn:8080/handle/172644/2340] ![]() |
专题 | 深圳先进技术研究院_集成所 |
作者单位 | 计算机集成制造系统Computer Integrated Manufacturing Systems |
推荐引用方式 GB/T 7714 | 彭磊,吴磊,毕亚雷,等. 基于着色解释Petri网的网络协议建模及协同仿真方法CIPN-based model building and collaborative simulation for network protocols[J]. 计算机集成制造系统Computer Integrated Manufacturing Systems,2009,15(1):82-88,96. |
APA | 彭磊,吴磊,毕亚雷,&曾家智.(2009).基于着色解释Petri网的网络协议建模及协同仿真方法CIPN-based model building and collaborative simulation for network protocols.计算机集成制造系统Computer Integrated Manufacturing Systems,15(1),82-88,96. |
MLA | 彭磊,et al."基于着色解释Petri网的网络协议建模及协同仿真方法CIPN-based model building and collaborative simulation for network protocols".计算机集成制造系统Computer Integrated Manufacturing Systems 15.1(2009):82-88,96. |
入库方式: OAI收割
来源:深圳先进技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。