论文题目: 基于Petri网的工作流过程模型验证和性能评价方法的研究
论文类型: 硕士论文
论文专业: 计算机应用
作者: 陈宇寒
导师: 姜浩
关键词: 工作流模型,自由选择网,信标,强连通网,分支,验证,性能评价
文献来源: 东南大学
发表年度: 2005
论文摘要: 工作流管理系统是近年来发展最为迅速的计算机应用技术之一,已被广泛地应用于办公自动化、业务流程重组(business process reengineering,简称BPR)及其他需要规划和管理工作流的领域。设计工作流管理系统的关键在于工作流建模,即在概念级上给出业务过程的抽象表示。通常,业务流程通过过程定义进行形式化描述,过程由若干定义完善的活动(或任务)和它们之间的连接关系以及相关的条件约束等组成。由于Petri网具有严格的数学基础和规范化的语义,对于工作流的建模与分析研究人员来讲有很大的诱惑力。特别是当需要考虑的经营过程较为复杂,如存在并发、冲突等情形时,用Petri网方法进行工作流模型分析有明显的优势。本论文的主要工作是研究工作流建模,其内容包括建模、模型验证、模型评价三个部分。第一部分主要叙述了工作流过程建模的实现。包括工作流建模工具;工作流活动图同Petri网的转化;工作流模型同xml文档的双向转化问题;以及时间Petri网信息在xml文档中的数据类型定义等问题。论文在上述几个方面详细介绍了实现的过程,并举例说明。第二部分根据一系列定理提出的工作流Petri网模型的验证性大致分为四个步骤。验证网的强连通性;计算并比较Rank (C );判断SMD属性;寻找活的初始标识。对每一步骤的算法都进行了详细的描述,对算法的时间复杂性进行分析。第三部分首先提出了一组时间Petri网保持时间约束特性不变的网变换规则和网的化简方法,通过反复应用变换规则进行化简,逐步减小网的规模,最终计算出工作流系统响应时间。论文中详细介绍该算法的实现过程及其数据结构。在本部分中,论文还详细介绍了基于标准C的xml解析器的实现流程以及相应的数据结构。最后一章对本论文的工作进行全面的总结,并对未来的工作进行了展望。
论文目录:
摘要
ABSTRACT
第一章、绪论
1.1 前言
1.2 论文的研究内容
1.3 论文组织结构说明
第二章、工作流过程模型
2.1 工作流过程建模方法
2.2 PETRI 网工作流建模方法
2.3 工作流模型转化算法
2.4 工作流模型转化实例
2.5 本章小结
第三章、建模工具
3.1 建模工具简介
3.2 重点问题
3.3 重点问题的解决方法
3.4 建模工具的实现
3.5 本章小结
第四章、基于PETRI 网的模型验证
4.1 模型验证算法的研究现状
4.2 基于PETRI 网的模型正确性验证算法
4.2.1 验证工作流网（WF－net）的强连通性
4.2.2 验证工作流网的关联矩阵的秩
4.2.3 验证工作流网（WF－net）的SMD 属性
4.2.4 寻找一个活的初始标识
4.3 算法的汇总
4.4 本章小结
第五章、基于时间约束PETRI 网的性能评价
5.1 性能评价算法研究现状
5.2 基于等效变换的性能评价算法
5.2.1 工作流基本控制结构及其对应的Petri 网模型
5.2.2 时间Petri 网的引入
5.2.3 时间Petri 网的时间等效变换规则
5.2.4 算法设计
5.2.5 算法示例
5.3 本章小结
第六章、性能评价算法的设计和实现
6.1 算法实现难点及其解决思路
6.1.1 查找符合四种基本结构的子网
6.1.2 如何进行化简
6.1.3 对xml 文件的解析
6.2 查找子网步骤演示
6.3 本章小结
第七章、总结和展望
7.1 工作总结
7.2 工作展望
参考文献
致谢
作者简介
发布时间: 2007-06-11
参考文献
- [1].基于高级Petri网的柔性工作流模型映射[D]. 单修慧.中国石油大学2011
- [2].基于Petri网的安全工作流管理系统建模与设计[D]. 邓磊.华中科技大学2004
- [3].基于Petri网的层次迁移工作流系统模型研究[D]. 孙志东.山东大学2006
- [4].基于Petri网的非确定工作流的时间和资源管理问题研究[D]. 胡晓文.山东科技大学2010
- [5].基于Petri网的工作流可视化建模与日志挖掘研究[D]. 李婷.长安大学2011
- [6].基于高级Petri网的工作流系统建模与性能评价[D]. 李玉贤.中南大学2011
- [7].基于时间Petri网的工作流时间约束特性研究及应用[D]. 邹润奇.大连理工大学2005
- [8].工作流Petri网模型建模与分析评价方法研究[D]. 万和平.华中科技大学2005
- [9].基于着色时间Petri网的工作流建模方法研究与应用[D]. 李晓林.合肥工业大学2012
- [10].基于赋时分层着色Petri网的工作流建模与性能评价[D]. 张乐伟.中国石油大学2009
相关论文
- [1].基于Petri网的工作流模型验证[D]. 任荣升.中国海洋大学2007
- [2].基于Petri网的工作流过程建模的研究[D]. 曾艳林.大连海事大学2007
- [3].基于Petri网的工作流建模及分析方法的研究[D]. 刘明珠.长春理工大学2007
- [4].基于Petri网的软件模型验证[D]. 王红英.华东师范大学2007
- [5].基于Petri网的工作流建模方法研究[D]. 万程鹏.武汉科技大学2007
- [6].基于Petri网的工作流建模与性质研究[D]. 赵明峰.西华大学2007
- [7].基于Petri网的工作流模型的研究与实现[D]. 孙建召.中南大学2007
- [8].基于Petri网的工作流建模及性质分析[D]. 孙萍.山东科技大学2004
- [9].基于Petri网的工作流建模和分析方法研究[D]. 曲扬.清华大学2004
- [10].工作流Petri网模型建模与分析评价方法研究[D]. 万和平.华中科技大学2005