数据约束下的业务流程petri网模型的变化域分析与控制

《数据约束下的业务流程petri网模型的变化域分析与控制》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、．分类号：ＴＰ３０２．１．＂单位代码：ｉＴ５３＾姜歡化Ｘ乂聲ＡＮＨＵＩＵＮＩＶＥＲＳＩＴＹＯＦＩ０ＳＣＥＮＣＥ＆ＴＥＣＨＮＯＬＯＧＹ．＇■？－勺，论文题目Ｐｅｔｒｉ网模型的：数据约束下的业务流程变化域分析与控制作者姓名：陈丽娜专业名称：应用数学肆师姓名：方贤文教授完成时间—；二〇六年六月中图分类号：ＴＰ３０２．１论文编号：５２０；１公开学科分卖号：．０９９密级安徽理王大学硕去学位论文数据约束下的业务流程Ｐｅｔｒｉ网模型的变化域分析与控制作者姓名：陈丽娜专业名称：应用数学

2、研究方向：智能优化理论与应用导师姓名：方贤文教授导师单位：安徽理工大学答辩委员会主席：失±信教授论文答辩日期；２０１６年０６月０２日安徽理工大学研究生处２０１６年０６月０７日ＡＤｉｓｓｅｒｔａｔｉｏｎｉｎＡｌｉｅｄＭａｔｈｅｍａｔｉｃｓｐｐＡｎａｌｓｉｓａｎｄＣｏｎｔｒｏｌａｂｏｕｔｔｈｅＣｈａｎｇｅＲｅｇｉｏｎｏｆｙＢｕｓｉｎｅｓｓＰｒｏｃｅｓｓＰｅｔｒｉＮｅｔＭｏｄｅｌｕｎｄｅｒｔｈｅＤａｔａＣｏｎｓｔｒａｉｎｔＣａｎｄｉｄａｔｅ：ＣｈｅｎＬｉｎａＳｕｅｒｖｉｓｏｒ：Ｐｒｏｆ．Ｆａ

3、ｎＸｉａｎｗｅｎｐｇＳｃｈｏｏｌｏｆＳｃｉｅｎｃｅＡｎＨｕｉＵｎｉｖｅｒｓｉｔｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙｙＮｏ．１６８ＳｈｕｎｅｎＲｏａｄ，Ｈｕａｉｎａｎ＾３２００ＩＰ．ＲＸＨＩＮＡ，ｇｇ，独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加Ｌ义标注和致谢的地方ｋ乂外，论文中不包含其他人己经发表或撰写过的研究成果，化不包含为获得或其他教育机构的学位或证书而使用过的材料一。与我查盤蜜主左堂＿同工作的同志对本研究所做的任ｆ毒献均己在论文中作了明确的说明并表

4、示谢意。学位论文作者签名：脊麻１鄉曰期：遂么＿年＾月＿日ｆ７学位论文版权使用授权书本学位论文作者完全了解安徽理工大学有保留、使用学位论文的规定：工，即研究生在校攻读学位期间论文作的知识产权单位属于安徽理工大学。学校有权保留并向国家有关部口或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽埋工大学可於将学位论文的全部或部分内容编入有关数据库进行检索＾，可１文采巧影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：夠签字曰斯年／月；曰亦爾；导师签名：％签字日期年月曰＾摘要

5、摘要业务流程模型主要由数据流和控制流两部分组成，这两者及其之间的关系包含了业务流程的建模、模型的分析与执行的重要信息，对流程模型的结构和行为有重要的约束作用。工程师在为公司企业设畳业务流程时，由于各自的侧重角度不同，所设置的流程也会不尽相同，并不是所设计出的业务流程都能按照流程管理的要求顺利执行，而且数据流在模型中的传播与变化使得流程模型的执行结果出现多样化与不确定性，因此，对数据约束下的业务流程模型的分析显得尤为重要。考虑到Ｐｅｔｒｉ网目前作为建模工具能将业务流程问题转化成网络模型问题，并＾将对业务流程的分析转化为对流程模型的分析。所１＾１，目前分

6、析数据约束下的业务流程Ｐｅｔｒｉ网模型的变化域并对其控制是业务流程管理的重点。目前，在此方面的研究主要集中在从控制流方面寻找流程模型的变化域，并从模型结构及行为语义方面对其进行优化控制，而忽略了模型中数据信息的传播与变化对业务流程执行结果的影响。而且，现有的考虑到数据流信息对业务流程影响的研究也大多只局限于数据形式，几乎没有给出直观的数据流模型，并且在寻找模型的变化域时自觉地排除了数据流信息产生的错误信息，具有很大的局限性。为提高对数据约束下的业务流程Ｐｅｔｒｉ网模型的分析效率，快速寻找出数据约束下的业务流程Ｐｅｔｒｉ网的变化域；１，并对其进行控制优化，

7、本文主要从１＾下兰个方面来研究；１）针对业务流程Ｐｅｔｒｉ网的合理性问题，工作流网的合理性是确保该工作流网能够终止并且每一个任务都不会使工作流网出现死锁或陷入无限循环，也是保证该工作流网不存在变化域的首要条件。目前对业务流程合理性确定的技术大多局限于控制流领域，而没有考虑数据信息。本文Ｗ自动售货系统的流程为例，基于业务流程Ｐｅｔｒｉ网的数据流和控制流分析其合理性，此方法不仅从控制流上分析一了业务流程Ｐｅｔｒｉ网模型的