封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1课题背景及研究意义
1.2国内外研究现状
1.3本文的主要工作
1.4论文的组织结构
第二章 基础知识
2.1 引言
2.2 主动规则的知识模型和执行模式
2.3 Petri网背景知识
2.4 本章小结
第三章 基于增强条件公式的主动规则集可终止性判定方法
3.1 引言
3.2 算法原理
3.3 建立增强条件公式的方法
3.4 可终止性判定算法
3.5 本章小结
第四章 ECPN验证模型及实验
4.1 引言
4.2 ECPN模型
4.3 实验设计及验证
4.4 本章小结
第五章 总结与展望
5.1本文工作总结
5.2未来工作展望
参考文献
附录
致谢