摘要
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第1期82-88,96,共8页
Computer Integrated Manufacturing Systems
基金
电子信息产业发展基金资助项目(财建[2006]549,信部运[2006]634)~~
关键词
协议工程
离散事件系统
着色解释Petri网
建模
协同仿真
protocol engineering
discrete event system
colored interpreted Petri nets
model building
collaborative simulation
