基于Petri网工作流模型的分析(doc 10页)

1　相关概念
2　将信牌驱动模型转化为Petri网
3　Petri网的化简
4　死锁检测算法
5　结　语

 

工作流模型的分析是指采用各种方法（包括理论模型、模拟、测量方法），对工作流模型的内部行为进行分析计算，使得工作流模型在理论上是正确和有效的。
虽然现在绝大部分的工作流产品都提供模型性能分析的仿真功能，但由于复杂性等原因，很难找到一种有效的算法对模型进行分析与验证。本文在总结模型分析研究成果现状的基础上，针对目前模型验证方法存在的不足，总结了Petri网模型分析中的一些图形化简规则，针对企业经营过程模型的特点并利用文中提出的模型正确性标准，提出了一种具有完备性和高效率的工作流模型的模型验证方法分析

..............................