Petri网模型验证实例迁移事务处理OA系统

1、Petri网论文：基于Petri网的动态工作流在OA系统中的应用【中文摘要】为了适应市场竞争环境,企业需要对业务过程进行重组,规范企业的经营管理,以达到降低生产成本、提高生产效率的。企业如何开发符合不同客户需求、具有事务处理能力、能够适应各种变化环境的工作流,已经成为工作流技术研究的一个热点。目前有各种工作流建模模型,通过对这些模型进行比较,本文采用Petri网来对流程建模。Petri网具有较强的数学理论基础,能够直观地描述业务流程。本文改进了一种模型验证算法来验证用Petri网建模的合理性和正确性。传统的工作流在模型建立阶段,对业务过程进行建模,确定与业务过程相关的任务、任务之间的流转关系以

2、及相关的数据；流程的执行阶段,在任务执行者的参与下流程按照预先定义的流转方向进行流转。但现实情况变化复杂,无法在模型建立阶段就确定所有的情况,因此需要开发出能够适应变化环境的动态工作流管理系统。本文分析了工作流的动态性,并实现了资源的动态修改和工作流过程模型的动态修改,讨论了过程模型修改时实例迁移策略、实现了模型实例的迁移。目前人们考虑的事务主要是针对数据库的事务处理,而很少考虑工作流管理系统中的事务处理,流程节点在执行过程中出现一些不可预测异常时不能保证数据的一致性.【英文摘要】In order to adapt to market competition, enterprises have

3、 to restructure business processes, standardize enterprise management, reduce production costs and improve productivity. How to develop the workflow, which satisfy different customer needs, have the ability of transaction processing and adapt to changing environment has become a hot research in the

4、workflow technology.There are various models of workflow modeling, by comparing all kinds of models, we use Petri nets to model the workflow. Petri has.【关键词】Petri网 模型验证 实例迁移 事务处理 OA系统【英文关键词】Petri net model verification instance migration transaction processing OA system【索购全文】联系Q1：138113721 Q2：139938

5、848【目录】基于Petri网的动态工作流在OA系统中的应用摘要4-5Abstract5-6第1章 绪论9-131.1 研究背景与意义9-101.2 国内外研究现状10-111.3 论文研究内容与实现方法11-121.4 论文组织结构12-13第2章 相关技术13-232.1 工作流技术13-162.1.1 工作流概述13-142.1.2 工作流管理系统14-162.2 Petri网概述16-172.2.1 Petri网基本概念16-172.2.2 Petri网的执行结构172.3 动态工作流概述17-192.4 工作流事务模型19-222.4.1 传统事务模型19-202.4.2 高级事务模

6、型20-212.4.3 工作流事务模型212.4.4 工作流事务和传统事务模型的比较21-222.4.5 工作流事务和高级事务模型中事务的比较222.5 本章小结22-23第3章 工作流模型分析23-303.1 工作流模型23-243.2 实例建模243.3 基于Petri网的工作流模型24-253.4 模型验证25-293.4.1 模型完全性定义253.4.2 模型验证算法25-273.4.3 模型验证实现代码27-293.5 本章小结29-30第4章 工作流动态性和事务性的实现30-444.1 工作流动态变化的支持30-314.2 工作流资源动态性的实现314.3 工作流模型动态性的实现31-354.3.1 模型修改324.3.2 实例迁移算法32-334.3.3 实例迁移实现代码33-354.4 工作流事务处理的实现35-434.4.1 子事务的分类35-364.4.2 事务异常处理36-434.5 本章小结43-44第5章 系统设计与实现44-595.1 数据库的设计44-495.2 系统功能结构495.3 系统总体实现49-585.3.1 行政办公52-575.3.2 查询统计575.3.3 个人助理575.3.4 公共交流575.3.5