| 基于扩展Petri网的ECA规则集表示及终止性分析 |
| |
| 作者姓名： | 张立臣 王小明 窦文阳 |
| |
| 基金项目： | The National Natural Science Foundation of China;The National Natural Science Foundation of China;The National Natural Science Foundation of China;The Scientific Research Foundation of the Returned Overseas Chinese Scholars of State Education Ministry |
| |
| 摘 要： | 为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN, extended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN网所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响。理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度。
|
|
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
