基于Petri网的工作流过程模型验证和性能评价方法的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章、绪论 | 第9-12页 |
| ·前言 | 第9-10页 |
| ·论文的研究内容 | 第10-11页 |
| ·论文组织结构说明 | 第11-12页 |
| 第二章、工作流过程模型 | 第12-16页 |
| ·工作流过程建模方法 | 第12页 |
| ·PETRI 网工作流建模方法 | 第12-13页 |
| ·工作流模型转化算法 | 第13-15页 |
| ·工作流模型转化实例 | 第15页 |
| ·本章小结 | 第15-16页 |
| 第三章、建模工具 | 第16-22页 |
| ·建模工具简介 | 第16页 |
| ·重点问题 | 第16-17页 |
| ·重点问题的解决方法 | 第17-20页 |
| ·建模工具的实现 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第四章、基于PETRI 网的模型验证 | 第22-34页 |
| ·模型验证算法的研究现状 | 第22页 |
| ·基于PETRI 网的模型正确性验证算法 | 第22-32页 |
| ·验证工作流网（WF－net）的强连通性 | 第24-25页 |
| ·验证工作流网的关联矩阵的秩 | 第25-27页 |
| ·验证工作流网（WF－net）的SMD 属性 | 第27-31页 |
| ·寻找一个活的初始标识 | 第31-32页 |
| ·算法的汇总 | 第32页 |
| ·本章小结 | 第32-34页 |
| 第五章、基于时间约束PETRI 网的性能评价 | 第34-41页 |
| ·性能评价算法研究现状 | 第34页 |
| ·基于等效变换的性能评价算法 | 第34-40页 |
| ·工作流基本控制结构及其对应的Petri 网模型 | 第34-35页 |
| ·时间Petri 网的引入 | 第35-36页 |
| ·时间Petri 网的时间等效变换规则 | 第36-38页 |
| ·算法设计 | 第38-39页 |
| ·算法示例 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第六章、性能评价算法的设计和实现 | 第41-53页 |
| ·算法实现难点及其解决思路 | 第41-50页 |
| ·查找符合四种基本结构的子网 | 第41-44页 |
| ·如何进行化简 | 第44页 |
| ·对xml 文件的解析 | 第44-50页 |
| ·查找子网步骤演示 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 第七章、总结和展望 | 第53-54页 |
| ·工作总结 | 第53页 |
| ·工作展望 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 致谢 | 第56-57页 |
| 作者简介 | 第57页 |
