基于PETRI网的工作流模型分析与应用  

Analysis and Application of an Petri-nets-based Workflow Model

作　　者：王晖[1] 刘卫东[1] 杨胜春[1] 

机构地区：[1]清华大学计算机系,北京100084

出　　处：《计算机工程与应用》2003年第6期100-102,131,共4页Computer Engineering and Applications

基　　金：国家"九五"重点攻关项目"全国高校网上招生录取系统"资助

摘　　要：目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。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.

关 键 词：PETRI网 工作流模型分析 建模 工作流管理系统 高校 招生 网上录取系统 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论] G647.32[自动化与计算机技术—计算机科学与技术]