基于逻辑混合Petri网的混合系统建模与分析  

Modeling and analysis of hybrid systems based on logic hybrid Petri nets

作　　者：刘伟 史晓浩 孙红伟 LIU Wei;SHI Xiaohao;SUN Hongwei(College of Computer Science and Engineering, Shandong University ofScience and Technology, Qingdao, Shandong 266590, China;College of Intelligent Manufacturing, Weifang University of Science and Technology, Shouguang, Shandong 262700, China)

机构地区：[1]山东科技大学计算机科学与工程学院,山东青岛266590 [2]潍坊科技学院智能制造学院,山东寿光262700

出　　处：《山东科技大学学报（自然科学版）》2021年第4期65-75,共11页Journal of Shandong University of Science and Technology(Natural Science)

基　　金：国家自然科学基金项目(61472228);山东省自然科学基金项目(ZR2020MF033)。

摘　　要：逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统。基于此,提出逻辑混合Petri网。首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式。其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程。再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,并提出相应的求解算法。同时,提出变迁的引发规则。最后,以一个微电网系统为例,验证该建模分析方法的有效性和可行性。In view of the fact that logic Petri nets can model and analyze complex business processes,but they cannot describe hybrid systems,logic hybrid Petri nets were proposed in this paper.First,the definition of logic expression was extended to describe the hybrid systems,and the modified expression was added to the logic outputs.Secondly,a marking solution equation was proposed to solve the problems of the expression uncertainty of logic transitions and the continuity of continuous transitions.Thirdly,the continuously changing speed and time were added to the continuous places to describe the continuous dynamic properties of the systems in detail,and the corresponding solving algorithm and the firing rules of transitions were proposed.Finally,the effectiveness and feasibility of the modeling analysis method were verified by the example of a microgrid system.

关 键 词：逻辑混合Petri网 混合系统 逻辑表达式 标识求解方程 引发规则 

分 类 号：TN929.5[电子电信—通信与信息系统]