基于Petri网的工作流过程建模  

The Research on Workflow Process Modeling Based on Petri-nets

作　　者：翟宜峰[1] 侯召成[1] 

机构地区：[1]中国水利水电科学研究院水资源所,北京100084

出　　处：《微电子学与计算机》2007年第3期113-116,共4页Microelectronics & Computer

摘　　要：工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。Workflow is a formalized description of the relationships within a set of interdependent tasks. In order to conquer the deficiency in poor expressivability of the present workflow model, lack of strict mathematical definition and scientific analytical means, we introduce the theory of Colored Petri-nets, and the concept of Colored synchronized-nets is proposed at the same time to construct a workflow logic nets so as to achieve the modeling of workflow.

关 键 词：工作流 工作流过程建模 PETRI网 工作流逻辑网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]