基于Petri网业务流程模型抽象方法研究

Research on Abstraction Method of Business Process Model Based on Petri Net

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。

In view of the complex process models existing in the business process model management, the understanding and analysis of the information contained in the process model can not meet the requirements. Therefore, based on the traditional behavioral semantics and control flow structure analysis of the model abstrac- tion, a business process model based on Petri nets is proposed to describe the behavioral profile of business process model. Firstly, the theory and properties of Petri nets are applied to the business workflow system. The workflow system can be quickly modeled and analyzed from the running process of the system and the formal graphic description. Secondly, based on the existing Behavioral contours, a new algorithm of activity aggregation formula for process model is defined, which extends the model abstraction of behavior contours on control flow structure. Finally, an abstract analysis of the Petri net business process model of a decoration company shows that this method has good application effect.