基于Petri网的工作流模型时间性能分析

摘要：

利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性.阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程.首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性.

关键词：工作流网、Petri网、路由结构、建模、时间性能分析

所属期刊栏目：27

分类号：TP302(计算技术、计算机技术)

在线出版日期：2012-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：47-49