一种基于不变量的从工作流网到PERT图的转换方法

A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

Workflow management systems provide a cooperative-work environment for the modem enterprises, which can availably manage enterprise business process and enhance its business competence. In order to efficiently manage the schedule of business processes, it is necessary to provide a schedule estimating method for workflow process model. The process modeled by workflow net based on Petri nets is difficult to be estimated for its schedule and total time directly. While in traditional schedule planning,the PERT diagram is an available technology. This paper introduces time concept into the workflow net and presents a transformation algorithm from LMST-invariant＇ s subnet to PERT diagram based on LMST-invariant decomposition. According to the resulting PERT diagram, the schedule and total time of workflow process model can estimated.