基于赋时着色Petri网的工作流建模技术研究

1、基于赋时着色Petri网的工作流建模技术研究    【中文题名】 基于赋时着色Petri网的工作流建模技术研究 【英文题名】 Research on the Modeling Technology in Workflow Based on Time-Color-Petri Net 【中文摘要】 近几年来，工作流管理技术被业界广泛采用并得到了迅速发展。它的主要特点是根据一系列过程规则，采用计算机技术，使得业务流程完全或者部分地自动执行。工作流管理系统最重要的功能之一就是工作流建模。这些预定义的过程模型必须能很好的反映实际业务流程，因此需要找寻更为灵活的工作

2、流过程形式化表示方法及过程的执行策略。为了判定新的业务过程模型是否正确，就必须对其进行分析。因此，需要研究使用仿真和形式化验证技术。Aalst的工作流网技术就是一个典型代表。 Aalst的工作流网已被众多研究人员所认同，它是基于经典Petri网所建立的。因 【英文摘要】 Recently, Workflow Management technology, a rapidly developing technology, has been applied to many trades. The main characteristic is that it can make business pro

3、cess automated in whole or part, according to a series of rules, using computer information technology. The most important function of workflow management system is modeling. The model must reflect business process, and its necessary to find a way to express workflow process. The model must be analy

4、zed to confirm whether it is sound. The work 【中文关键词】 工作流. 过程定义. 赋时着色Petri网. 工作流网. 类邻接表. XPDL. 【英文关键词】 Workflow. Process Definition. Time-Color-Petri Net. Workflow Net. Adjlist. XPDL. 【论文级别】 硕士 【学科专业名称】 计算机应用技术 【论文提交日期】 2005-03-01 第一章 绪论 8-14 11 研究背景 8-10 12 研究现状 10-11 13 研究内容和成果 11-13 131 本文的主要研究内容

5、11-12 132 本文的主要研究成果 12-14 14 论文结构 13-14 第二章 Petri网与工作流网 14-21 21 Petri网概述 14-14 22 经典 Petri网与高级 Petri网 14-19 221 经典 Petri网 14-16 222 高级 Petri网 16-22 23 Petri网作为理论工具的理由 19-20 24 工作流网对 Petri网的扩展 20-21 第三章 一种基于链表遍历方式的业务流程映射算法 21-36 31 概述 21-21 32 Aalst的任务结构映射算法 21-24 321 基本定义 22-22 322 任务结构到经典 Petri网的映

6、射算法 22-23 323 经典 Petri网到工作流网的映射 23-24 33 链表遍历方式的映射规则 24-33 331 基本定义 24-26 332 映射规则 26-32 333 链表遍历方式的映射算法 32-36 34 算例 33-36 第四章 基于图规约法的工作流网验证算法 36-51 41 概述 36-36 42 基于图规约法的验证算法 36-48 421 基本定义 36-37 422 几种基本结构的图规约规则 37-47 423 基于图规约法的验证算法 47-51 43 算例 48-51 第五章 基于类邻接表建模工具的实现 51-61 51 建模工具体系结构 51-53 511 元数据输出流程 51-52 512 建模工具软件体系结构 52-53 52 元数据的输出 53-57 521 类邻接表的数据结构 53-56 522 业务流程有向图的XPDL映射 56-57 53 模型检验 57-59 531 业务流程映射