动态描述逻辑动作系统的Petri网自动生成方法

摘要：

动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步自动构造得到动作系统的Petri网的PNML+OWL描述。

关键词： 动态描述逻辑动作 Petri网 自动生成 本体推理

作者: 马炳先 于代荣 陈宇

作者单位: 济南大学信息科学与工程学院,济南 250022

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 72-75

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）