一种行为树模型到Kripke结构的映射方法

摘要

本发明涉及统建模与仿真分析技术领域，提出了一种行为树模型到Kripke结构的映射方法，包括：建立行为树中“原子行为”元素的Kripke标记，建立行为树中“选择进程”元素的Kripke标记，建立行为树中“锁闭进程”元素的Kripke标记，建立行为树中“并行进程”元素的Kripke标记，建立行为树中“顺序进程”元素的Kripke标记，建立行为树中“解锁进程”元素的Kripke标记，建立行为树中“守护进程”元素的Kripke标记，建立行为树中“循环进程”元素的Kripke标记，在上述Kripke结构的基础上，将Kripke结构转化为状态机，本发明以提供一种行为树模型到Kripke结构的映射方法，该方法不仅能够指导基于行为树模型中各种结构到Kripke结构的转换、还可用于指导所建模型的仿真运行。