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

葛季栋; 胡 昊; 吕 建

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：2025-07-16

- 一种基于不变量的从工作流网到PERT图的转换方法
- A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants (1.State Key Laboratory for Novel Software Technology ,Department of Computer Science and Technology, Nanjing University,Nanjing,Jiangsu 210093,China; 2.Software Institute,Nanjing University,Nanjing,Jiangsu 210093,China)
- 电子学报 2008年36卷第5期页码：893-898
- 作者机构：
  
  1. 计算机软件新技术国家重点实验室(南京大学),南京大学计算机科学与技术系,江苏,南京,210093
  2. 南京大学软件学院,江苏,南京,210093
  3. 计算机软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系江苏南京,210093
  4. 南京大学软件学院江苏南京,210093
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60721002,No.60736015,No.60403014,No.60603034);国家973重点基础研究发展规划 (No.2002CB312002);国家863高技术研究发展计划重点项目 (No.2006AA01Z159,No.2006AA01Z177,No.2007AA01Z178,No.2007AA01Z140);江苏省自然科学基金 (No.BK2006712)
- DOI：
  中图分类号： TP311
- 纸质出版：2008
- 稿件说明：
移动端阅览
葛季栋, 胡昊, 吕建. 一种基于不变量的从工作流网到PERT图的转换方法[J]. 电子学报, 2008,36(5):893-898.

GE Ji-dong, HU Hao, L. A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants (1.State Key Laboratory for Novel Software Technology ,Department of Computer Science and Technology, Nanjing University,Nanjing,Jiangsu 210093,China; 2.Software Institute,Nanjing University,Nanjing,Jiangsu 210093,China)[J]. Acta Electronica Sinica, 2008, 36(5): 893-898.
葛季栋, 胡昊, 吕建. 一种基于不变量的从工作流网到PERT图的转换方法[J]. 电子学报, 2008,36(5):893-898. DOI：

GE Ji-dong, HU Hao, L. A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants (1.State Key Laboratory for Novel Software Technology ,Department of Computer Science and Technology, Nanjing University,Nanjing,Jiangsu 210093,China; 2.Software Institute,Nanjing University,Nanjing,Jiangsu 210093,China)[J]. Acta Electronica Sinica, 2008, 36(5): 893-898. DOI：

摘要

工作流管理系统为现代企业提供了一种协同工作环境

可以管理企业的业务过程

并提高企业的商业竞争能力.为了有效管理业务过程的进度

需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期

而在传统的项目进度计划中

PERT图是一种成熟的技术

为此

本文在工作流网的基础上增加了时间的概念

基于LMST-不变量的分解技术

提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法

由此达到估算工作流过程模型的进度与工期的目的.

Abstract

Workflow management systems provide a cooperative-work environment for the modern 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.

关键词

Keywords

references

浏览量

1140

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

CBR:一种支持工作流过程语义验证的组件级化简方法

信息网格门户的研究

基于RFID发现服务的一种供应链建模技术