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

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

作　　者：葛季栋[1,2] 胡昊[1] 吕建[1] 

机构地区：[1]计算机软件新技术国家重点实验室(南京大学),南京大学计算机科学与技术系,江苏南京210093 [2]南京大学软件学院,江苏南京210093

出　　处：《电子学报》2008年第5期893-898,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60721002,No.60736015,No.60403014,No.60603034);国家973重点基础研究发展规划(No.2002CB312002);国家863高技术研究发展计划重点项目(No.2006AA01Z159,No.2006AA01Z177,No.2007AA01Z178,No.2007AA01Z140);江苏省自然科学基金(No.BK2006712)

摘　　要：工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于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.

关 键 词：工作流 PETRI网 过程建模 合理性 不变量 PERT图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]