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

刘伟; 史晓浩; 孙红伟

doi:10.16452/j.cnki.sdkjzk.2021.04.008

山东科技大学学报（自然科学版） ›› 2021, Vol. 40 ›› Issue (04) : 65 -75. DOI: 10.16452/j.cnki.sdkjzk.2021.04.008

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

刘伟, 史晓浩, 孙红伟

作者信息 +

Author information +

文章历史 +

PDF (1792K)

摘要

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