摘要
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色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.
出处
《微电子学与计算机》
CSCD
北大核心
2007年第3期113-116,共4页
Microelectronics & Computer
