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

摘要

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,并提出相应的求解算法.同时,提出变迁的引发规则.最后,以一个微电网系统为例,验证该建模分析方法的有效性和可行性.