基于着色Petri网的离散事件动态系统建模与仿真

作     者：姚可欣 付长军 郑伟明 陈得恩 田兴聪 熊轲 

作者机构：北京交通大学计算机与信息技术学院北京100000 中国电子科技集团公司第五十四所河北石家庄050000 

基　　金：国家自然科学基金“面上“项目《基于信息年龄的射频能量采集无线网络设计理论与方法》(项目编号:62071033) 国网能源研究院有限公司研究项目《基于典型场景的泛在电力物联网边缘计算性能分析与仿真》(项目编号:526700190002) 中央高校基本科研业务费项目《基于信息年龄的射频能量采集物联网设计理论与方法》(项目编号:2019JBM401) 

出 版 物：《新型工业化》 (The Journal of New Industrialization)

年 卷 期：2021年第11卷第9期

页      码：101-104页

摘      要：为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法。该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为Petri网模型,再对Petri网模型进行分层并添加颜色集,建立系统的着色Petri网模型。在向着色Petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺序性问题;在此基础上为系统库所添加令牌,用于表示系统中流动的信息资源。CPN Tools测试输出的结果,验证了所提方法的有效性,同时也为系统的设计与优化提供了一定的参考。

主 题 词：离散事件动态系统 着色Petri网 建模 仿真分析 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19335/j.cnki.2095-6649.2021.9.046

馆 藏 号：203106980...