| 基于Petri网的工作流过程建模与分析方法的研究 |
| |
| 引用本文： | 姜浩,董逸生,罗军舟.基于Petri网的工作流过程建模与分析方法的研究[J].东南大学学报,2000,16(2):66-73. |
| |
| 作者姓名： | 姜浩 董逸生 罗军舟 |
| |
| 作者单位： | 东南大学计算机科学与工程系!南京210096 |
| |
| 基金项目： | TheprojectsupportedbytheNationalNatureScienceFoundationofChina! (6 98730 0 9) |
| |
| 摘 要： | 工作流管理是CSCW的一个重要方面 .本文介绍了工作流过程的基本知识 ,给出了一种基于Petri网的建模方法和基本定义 ,讨论了工作流过程结构和行为正确性的分析和验证 ,最后提出了过程定义的验证算法 .
|
| 关 键 词： | 工作流管理 CSCW Petri网 过程模型 |
Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process |
| |
| Jiang Hao,Dong Yisheng,LUO Junzhou.Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process[J].Journal of Southeast University(English Edition),2000,16(2):66-73. |
| |
| Authors: | Jiang Hao Dong Yisheng LUO Junzhou |
| |
| Abstract: | Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed. |
| |
| Keywords: | workflow management CSCW Petri net process modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
