Petri网在工作流建模、分析及仿真中应用的研究

摘要

本文从工作流模型的特点和要求出发，通过对目前多样化建模工具的分析和比较，Petri网以突出的优势占据重要地位，是一种描述和分析离散时间动态系统的有力工具。同时，利用Petri网相关理论，建立了工作流模型到Petri网的映射关系。探讨了工作流模型正确性分析、性能评价及优化方法。提出了一种解决Petri网建模过程中出现的组合爆炸问题的解决思路。最后对两个具体案例用Petri网进行建模，仿真分析。仿真结果表明，Petri网能够发现工作流模型建立时存在的死锁、资源冲突问题、以及工作流管理运行过程中的性能问题。本文提出的解决Petri网建模过程中出现的组合爆炸问题是有效的。

目录

文摘

英文文摘

原创性声明及学位论文版权使用授权书

第一章绪论

1.1研究背景

1.1.1工作流管理的概念、起源

1.1.2工作流管理的优势与必要性

1.2工作流管理的信息基础

1.2.1分布式计算技术

1.2.2信息系统支持下业务过程的集成

1.3工作流管理中需要解决的问题

1.4本文的主要工作

第二章工作流管理系统概念及参考模型

2.1工作流具体概念介绍

2.2工作流参考模型

2.3工作流管理系统结构模型

2.4工作流建模方法综述

2.4.1工作流建模的目的和内容

2.4.2流程需要描述

2.4.3工作流建模方法的比较

2.5工作流模型的实例化及执行过程

2.6工作流模型的分析及优化

第三章基于PETRI网的工作流模型

3.1PETRI网概念的引入及特征

3.2PETRI网相关理论

3.2.1Petri网的基本概念

3.2.2高级Petri网

3.3PETRI网与工作流模型的映射关系

3.3.1过程

3.3.2路由

3.3.3启动

3.4探讨PETRI网的组合爆炸问题的解决思路

3.4.1OOPN的结构

3.4.2 OOPN的形式定义

3.4.3OOPN运行规则

第四章PETRI网在工作流建模和分析中的应用

4.1维修保障系统多层次模型实现

4.1.1基于多层次Petri网的流程仿真模型

4.1.2基于多层次Petri网模型的修修保障流程仿真

4.2公文审批系统解决方案

4.2.1公文审批系统的结构及功能

4.2.2审批流程

4.2.3模型设计

4.2.4工作流分析

结束语

参考文献

致谢