基于扩展Petri网的ECA规则集表示及终止性分析
ECA 规则可以有效地表示主动性知识，是知识表示与推理领域的研究热点之一。复合事件、复合条件和事件消耗模式是ECA 规则的重要结构特性，对ECA 规则的结构和行为特性具有重要影响。现有ECA 规则的表示模型只是部分包含上述结构特性。为了综合分析这些结构特性对ECA 规则集的表示和可终止性的影响，扩展传统有色Petri 网，提出了一种可描述ECA 规则的扩展Petri 网模型 (EPN)，设计了ECA 规则集的EPN 网转化算法，并基于所提出的EPN 网模型，提出了一种有效的ECA 规则集静态终止性判定算法，能够综合分析复合事件、复合条件对ECA 规则集的可终止性判定的影响，与现有ECA 规则集终止性判定算法相比， 所提出的算法具有更好的准确性和实用性。
Petri二氧化碳网 抑制弧 终止性分析 知识表示
张立臣 王小明 窦文阳
陕西师范大学 计算机科学学院, 西安 710062
国内会议
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
郑州
中文
1-8
2011-11-01（万方平台首次上网日期，不代表论文的发表时间）