-
摘要: 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.Abstract: According to the disadvantages of dynamic description logic actions theory at describing and analyzing multi-action relationships, especially concurrent relationship, a method to model and analyze dynamic description logic actions relationships with Petri nets is presented. Firstly, a dynamic description logic action can be equally modeled with its Petri nets, and then, multi-actions will have their Petri nets model through logical reasoning on actions description and sharing synthesis operation of Petri nets. Based on their Petri nets model, the relationships about multi-actions can be analyzed and determined by correlative analysis methods of Petri nets, such as reachable graph. This method not only effectively unites dynamic description logic and Petri nets theory but also extends the modeling and analysis abilities of dynamic description logic actions theory.
-
Key words:
- Description logic /
- dynamic description logic /
- actions /
- Petri nets
计量
- 文章访问数: 3033
- HTML全文浏览量: 73
- PDF下载量: 1481
- 被引次数: 0