基于Petri网的工作流模型研究

摘要	第1-5页
ABSTRACT	第5-11页
第一章 绪论	第11-14页
·研究背景与意义	第11-12页
·国内外研究现状及发展	第12-13页
·论文的研究内容及组织结构	第13-14页
第二章 Petri网的基本概念和理论	第14-21页
·Petri网的基本概念	第14-16页
·Petri网的理解	第14页
·Petri网的定义	第14-16页
·Petri网的性质	第16-18页
·Petri网的分析方法	第18-19页
·时间Petri网	第19-21页
第三章 工作流理论	第21-28页
·工作流的基本概念	第21-23页
·工作流管理系统	第23-24页
·工作流参考模型	第24-25页
·工作流建模技术	第25-28页
第四章 基于Petri网的工作流建模	第28-41页
·Aalst的WF-net	第28页
·工作流网的基本结构	第28-30页
·基于Petri网的工作流的路由结构	第30-32页
·约束组合时间Petri网	第32-35页
·含抑制弧和测试弧Petri网	第32-33页
·扩展时间Petri网	第33页
·带抑制弧和测试弧的扩展时间Petri网	第33-35页
·建模实例	第35-41页
·工作流程描述	第35-37页
·模型	第37-41页
第五章 工作流模型验证	第41-51页
·工作流模型合理性	第41-43页
·正确性	第41-42页
·合理性	第42-43页
·合理性验证算法	第43-46页
·验证算法	第43-44页
·实例验证	第44-46页
·工作流模型性能分析	第46-51页
·工作流时间性能分析	第46-49页
·实例分析	第49-51页
第六章 结论	第51-53页
参考文献	第53-55页
致谢	第55-56页
攻读学位期间发表的学术论文目录	第56页