| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 绪论 | 第8-14页 |
| ·Petri网理论的发展与应用 | 第8-9页 |
| ·工作流技术的起源与发展 | 第9-10页 |
| ·Petri网理论及基于Petri网的工作流研究现状 | 第10-14页 |
| ·本文的结构 | 第14页 |
| 第2章 基本概念、术语及相关性质 | 第14-28页 |
| ·Petri网的相关术语 | 第14-16页 |
| ·Petri网的行为理论 | 第16-18页 |
| ·工作流的相关术语 | 第18-20页 |
| ·工作流概念到Petri网的映射 | 第20-25页 |
| ·工作流网及性质 | 第25-28页 |
| 第3章 判定P/T网正S(T)-不变的多项式算法 | 第28-33页 |
| ·正S(T)-不变量的判定 | 第28-32页 |
| ·判定P/T网正S-不变的多项式时间算法 | 第32页 |
| ·本章的贡献和进一步的工作 | 第32-33页 |
| 第4章 基于自控网的批处理模拟与验证 | 第33-39页 |
| ·自控网系统相关概念 | 第34-35页 |
| ·相关规则 | 第35-36页 |
| ·成品自动化加工批处理过程的建模及其动态行为的分析 | 第36-38页 |
| ·本章的贡献和进一步的工作 | 第38-39页 |
| 第5章 基于Petri网的工作流混惑检测 | 第39-57页 |
| ·本章相应概念 | 第40页 |
| ·结构混惑及检测算法 | 第40-46页 |
| ·混惑的检测 | 第46-49页 |
| ·实例分析 | 第49-50页 |
| ·混惑检测另一种方法的探讨 | 第50-56页 |
| ·本章的贡献和进一步的工作 | 第56-57页 |
| 第6章 结论与展望 | 第57-59页 |
| 参考文献 | 第59-65页 |
| 攻读硕士学位期间科研成果 | 第65-67页 |
| 致谢 | 第67-68页 |