|
论文《基于扩展Petri网的ECA规则集表示及终止性分析》提出了一种利用扩展Petri网对ECA规则集进行建模的方法,旨在提高规则系统的一致性和可分析性。通过将事件-条件-动作规则转化为Petri网结构,该研究实现了对规则执行过程的可视化与形式化分析。同时,论文还探讨了规则集的终止性问题,为确保系统运行的稳定性和可靠性提供了理论支持。 文档为pdf格式,0.5MB,总共8页。
- 文件大小:
- 512 KB
- 下载次数:
- 60
- 基于扩展Petri网的ECA规则集表示及终止性分析 - 第四届中国计算机网络与信息安全学术会议(CCNIS2011).pdf ...
-
高速下载
|