基于着色解释Petri网的网络协议建模及协同仿真方法

• 论文 •

基于着色解释Petri网的网络协议建模及协同仿真方法

彭磊，吴磊,毕亚雷，曾家智

1.电子科技大学计算机科学与工程学院，四川成都610054；2.中国科学院深圳先进技术研究院，广东深圳518067

出版日期:2009-01-15 发布日期:2009-01-25

CIPN-based model building and collaborative simulation for network protocols

PENG Lei, WU Lei, BI Ya-lei，ZENG Jia-zhi

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

Online:2009-01-15 Published:2009-01-25

摘要/Abstract

摘要： 为解决协议工程中协议形式化验证和仿真断裂的问题，结合着色Petri网和解释Petri网，构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式，依据着色解释Petri网的特点，提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例，采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上，通过着色解释Petri网与OPNET的协同仿真，改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真，第一次紧密连接了Petri网和通用协议仿真工具，对协议工程将起到重要作用。

关键词: 协议工程, 离散事件系统, 着色解释Petri网, 建模, 协同仿真

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 the consistence with OPNET simulation model, power control algorithm of MACA was improved by collaborative simulation of CIPN and OPNET. The CIPN-based collaborative simulation could play an important role in protocol engineering, since it made close connection between Petri net and general protocol simulator for the first time.

Key words: protocol engineering, discrete event system, colored interpreted Petri nets, model building, collaborative simulation

中图分类号:

彭磊,,吴磊,毕亚雷，曾家智. 基于着色解释Petri网的网络协议建模及协同仿真方法[J]. .

PENG Lei,, WU Lei, BI Ya-lei，ZENG Jia-zhi. CIPN-based model building and collaborative simulation for network protocols[J]. .

[1]	朱坚民,石园园,田丰庆,黄扬辉,孟聪,陈琳. 考虑夹头与刀具过渡段的主轴系统精确建模[J]. 计算机集成制造系统, 2021, 27(8): 2215-2225.
[2]	杨旭亭,王孜悦,李凤鸣,宋锐. 基于过程建模的机器人分阶引导装配方法[J]. 计算机集成制造系统, 2021, 27(8): 2321-2330.
[3]	肖甜丽,马义中,林成龙. 面向质量设计的Kriging组合建模技术[J]. 计算机集成制造系统, 2021, 27(7): 2023-2034.
[4]	吴鹏兴,郭宇,黄少华,杨能俊,熊伟杰,郭具涛. 基于数字孪生的离散制造车间可视化实时监控方法[J]. 计算机集成制造系统, 2021, 27(6): 1605-1616.
[5]	王仁伟,张松,葛人杰,栾晓娜,王家昌,鲁韶磊. 改进的球头铣刀加工表面形貌建模方法[J]. 计算机集成制造系统, 2021, 27(4): 973-980.
[6]	朱天明,武春龙,周有城,张鹏,张小俊. 基于TRIZ功能建模的扩展碰撞预警系统数字孪生概念方案构建[J]. 计算机集成制造系统, 2021, 27(2): 337-351.
[7]	苟艺星,王军强,李洋. 事件驱动的流水线建模与质检机器配置优化[J]. 计算机集成制造系统, 2021, 27(2): 487-500.
[8]	易扬,冯锦丹,刘金山,陈长江,刘晓军,倪中华. 复杂产品数字孪生装配模型表达与精度预测[J]. 计算机集成制造系统, 2021, 27(2): 617-630.
[9]	魏莹,刘冠,李锋. 基于社交网络效应的产品设计研究[J]. 计算机集成制造系统, 2021, 27(12): 3591-3603.
[10]	张玉金,黄博,廖文和. 面向场景的航空发动机基于模型的系统工程设计[J]. 计算机集成制造系统, 2021, 27(11): 3093-3102.
[11]	刘怀兰,岳鹏,閤辰皓,赵文杰. 基于VDEVS的离散制造车间虚拟实体行为模型描述方法[J]. 计算机集成制造系统, 2021, 27(10): 2950-2960.
[12]	陶飞,张贺,戚庆林,徐俊,孙铮,胡天亮,刘晓军,刘庭煜,关俊涛,陈畅宇,孟凡伟,张辰源,李志远,魏永利,朱铭浩,肖斌. 数字孪生模型构建理论及应用[J]. 计算机集成制造系统, 2021, 27(1): 1-16.
[13]	王建,黎荣,武浩远,丁国富,郑宇飞. 按单设计型复杂产品的配置设计技术综述[J]. 计算机集成制造系统, 2020, 26(第2): 410-425.
[14]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[15]	唐霞,杨颖,刘晓军,仇晓黎,贾连军. 大型复杂雕塑型面钢架特征曲线快速设计方法[J]. 计算机集成制造系统, 2020, 26(第1): 114-123.