动态描述逻辑动作间关系的Petri网分析方法研究

On Dynamic Description Logic Actions Relationships with Petri Nets

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.

According to the disadvantages of dynamic description logic actions theory at describing and analyzing multiaction 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.