| 基于PETRI网的工作流模型分析与应用 |
| |
| 引用本文： | 王晖,刘卫东,杨胜春.基于PETRI网的工作流模型分析与应用[J].计算机工程与应用,2003,39(6):100-102,131. |
| |
| 作者姓名： | 王晖 刘卫东 杨胜春 |
| |
| 作者单位： | 清华大学计算机系,北京,100084 |
| |
| 基金项目： | 国家“九五”重点攻关项目“全国高校网上招生录取系统”资助 |
| |
| 摘 要： | 目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。
|
| 关 键 词： | 工作流 Petri网 建模 分析 |
| 文章编号： | 1002-8331-(2003)06-0100-03 |
Analysis and Application of an Petri-nets-based Workflow Model |
| |
| Wang Hui,Liu Weidong Yang Shengchun.Analysis and Application of an Petri-nets-based Workflow Model[J].Computer Engineering and Applications,2003,39(6):100-102,131. |
| |
| Authors: | Wang Hui Liu Weidong Yang Shengchun |
| |
| Abstract: | At present ,in spite of a lot of modeling and analysis tools for workflow,Petri nets is more preferable be-cause of its solid mathematical foundations and its simple graphic structures.In this paper the authors will focus on the modeling and analysis of workflow using Petri nets.They will discuss how to model the workflow by Petri net in detail and give comprehensive analysis to the corretness of the model.At last,they will introduce an example for modeling,analysis and optimization of workflow-the National College&University Enrolling System. |
| |
| Keywords: | workflow Petri nets model analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
