论文部分内容阅读
本文从工作流模型的特点和要求出发，通过对目前多样化建模工具的分析和比较，Petri网以突出的优势占据重要地位，是一种描述和分析离散时间动态系统的有力工具。同时，利用Petri网相关理论，建立了工作流模型到Petri网的映射关系。探讨了工作流模型正确性分析、性能评价及优化方法。提出了一种解决Petri网建模过程中出现的组合爆炸问题的解决思路。最后对两个具体案例用Petri网进行建模，仿真分析。仿真结果表明，Petri网能够发现工作流模型建立时存在的死锁、资源冲突问题、以及工作流管理运行过程中的性能问题。本文提出的解决Petri网建模过程中出现的组合爆炸问题是有效的。