|
|||||
|
|
| 基于逻辑混合Petri网的混合系统建模与分析 | |
| 作者姓名： | 刘伟 史晓浩 孙红伟 |
| 作者单位： | 山东科技大学计算机科学与工程学院,山东青岛266590;山东科技大学计算机科学与工程学院,山东青岛266590;潍坊科技学院智能制造学院,山东寿光262700 |
| 基金项目： | 国家自然科学基金;山东省自然科学基金 |
| 摘 要： | 逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,... |
| 关 键 词： | 逻辑混合Petri网 混合系统 逻辑表达式 标识求解方程 引发规则 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |