中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于着色解释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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。