摘要
利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程。首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性。
Using efficient modeling technology to build complex business process can improve the readability of model represented, and also can be convenient for the model performance analysis to ensure the correctness after model is put to use. This paper discusses the process of how to use strictly semantic of Petri nets technology to construct process model and analyze model's performance. Firstly, the article points out the importance of time performance in workflow performance analysis, Secondly, the paper introduces the definition Petri net and WF-net, the express of workflow basic routing structure based on Petri net, and the corresponding performance equivalent formula. Finally, on the basis of these theorems, the paper constructs model by the flow of vehicle purchase, and analyzes its time performance to prove the rationality and superiority of modeling based on Petri net technology.
出处
《微型电脑应用》
2011年第8期47-49,74,共4页
Microcomputer Applications
