摘要
目前,工作流的建模和分析工具有很多,由于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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第6期100-102,131,共4页
Computer Engineering and Applications
基金
国家"九五"重点攻关项目"全国高校网上招生录取系统"资助
