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

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

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

出　　处：《新型工业化》2021年第9期101-104,共4页The Journal of New Industrialization

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

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

关 键 词：离散事件动态系统 着色PETRI网 建模 仿真分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]