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

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

逻辑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.