基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。

Modeling and Analysis of Petri-nets-based Workflow

Workflow is a set of work items which are related to each other. It simulates the relationship of real or imaginary work steps of business process. In addition to the sequential, conditional and iterative relationship between work items, there are asynchronous, parallel and synchronous relationship. So it's difficult to model workflow. So far, there is not a special modeling tool which satisfy the requirements of workflow modeling. Petri-net is a graphical and mathematical modeling tool. This paper discusses the modeling and analyzing of workflow based on Petri-nets. This method the is basis of diagnosing workflow in detail.