基于扩展Petri网的ECA规则集表示及终止性分析

• 作者: 张立臣 王小明 窦文阳
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: ECA规则 Petri网 终止性分析 EPN 模型表示
• 年，卷（期）: 2013,（3）
• 页码范围: 157-164
• 分类号: TP311
• 字数: 8022字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436x.2013.03.020

摘要

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN, ex-tended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法.该算法充分利用EPN所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响.理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小明	陕西师范大学计算机科学学院	88	882	16.0	26.0
2	张立臣	陕西师范大学计算机科学学院	18	242	5.0	15.0
3	窦文阳	陕西师范大学计算机科学学院	17	57	4.0	6.0