基于Petri网行为轮廓的故障变化域定位方法研究.pdf

《基于Petri网行为轮廓的故障变化域定位方法研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：ＴＰ３０２．１１０３６１单位代码：安蔽巧王乂學；策―如．ＡＮＨＵ：？ＩＵＮＩＶＥＲＳＩＴＹＯＦＳＣ＾ＩＥＮＣＥ＆ＴＥＣＨＮＯＬＯＧＹｒ〇ｊ＾Ｊ三知吾｜ｊｉｌ—．．屯．ｌｉｌｌｌｉｉ扣ＩｌｌＨＭｌｉ记■ｆ２４＇＇？－早论文题目；基于Ｐｅｔｒｉ网行为轮廓的故障变化域定位方法＾作者姓名：＾专业名称：应用数学导师姓名：方欢副教授完成时间；２０１７年５月３０日中图分类号：ＴＰ３０２．１论文编号：学科分类号：５２０．１０９９

2、密级：公开安徽理王大学硕去学位论文基于Ｐｅｔｒｉ网行为轮廓的故障变化域定位方法研巧作者姓名：张源专业名称：应用数学研巧方向：Ｐｅｔｒｉ网与服务计算导师姓名：方欢副教授导师单位：安徽理工大学答辩委员会主席：许志才教授论文答辩日期：２０１７年５月２７日安徽理工大学研巧生处２０１７年５月３０日ＡＤｉｓｓｅｒｔａｔｉｏｎｉｎＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓＲｅｓｅａｒｃｈｏｎｔｈｅｍｅｔｈｏｄｏｆＬｏｃａｔｉｎｇＦａｕｌｔＣｈａｎｇｅＲｅｉｏｎ

3、ｂａｓｅｄｏｎｔｈｅＢｅｈａｖｉｏｒａｌＰｒｏｆｉｌｅｓｏｆＰｅｔｒｉＮｅｔｓｇＣａｎ出ｄａｔｅ：ＺｈａｎＹｕａｎｇＳｕｐｅｒｖｉｓｏｒ：ＡｓｓｏｃｉａｔｅＰｒｏｆ．ＦａｎｇＨｕａｎＳｃｈｏｏｌｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＢｉｇＤａｔｅＡｎＨｕｉＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄ了ｅｃｈｎｏｌｏｇｙＮｏ．１６８，ＴａｉｆｅｎｇＲｏａｄ，Ｈｕａｉｎａｎ，２３２００１，Ｐ．Ｒ，ＣＨＩＮＡ独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工

4、作及取得的研究成果。据我所知，除了文中特别加Ｗ标注和致谢的地方Ｗ外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得安徽理王大学或其他教育化构的学化請一，证书而佑用过的姑巧。与我同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示谢意。，学位论文作者签名：曰期。ｗ年ｉ月相睾片矜ｙ＿１学位论文版权使用授权书本学位论文作者完全了解安徽理工大学有铅留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于安徽埋工大学。学校有权保留并向国家有关部口或机构送交论文的

5、复印件和磁盘，允许论文被查阅和借闽。本人授权安徽理工大学可Ｗ将学位论文的全部或部分内容编入有关数据库进行检索，可Ｗ采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名签字日期；＞年／月／Ｘ日／７导师签名：签字曰期的年巧％文７＾月Ｉ摘要摘要业务流程模型系统中的故障诊断是业务流程系统运行中一项重要的研巧课、题，业务流程中系统运行的管理包括流程运行的设计和实施流程模型的建立和分析研巧Ｗ及运巧程序的执行等Ｈ部分。课题研巧的关键是如何定位业务

6、流程系统中的故障变化域进而规范流程系统。业务流程模型系统运行时由于模型间交互一致的区域或其他不定因素使源模型与目标模型产生不，即流程模型的变化域。所谓故障域也称故障变化区域是指变化域中的某个区域对系统运行产生的影响致一使系统异常运行，产生存在故障的区域。模型中存在变化域不定都使系统发生一，故障，但流程模型中若存在故障域就定有变化域即故障域是变化域存在的必要条件。本文通过精确定位变化域中的故障域，不仅有助于降低运营成本，还可Ｗ控制降低故障变化域对流程模型整体的影响，提高貧杂流程模型中系统正常运行的效率，同时也

7、能提高企业生产效率，Ｗ及在提高服务质量方面都发挥着重要的作用。随着计算机系统和业务系统规模的不断社大，业务流程的管理变得越来越重要，相对业务流程的要求也相对提高了很多。由系统合成和模型合成所引起的系统发生错误的情巧也越来越多，Ｐｅｔｒｉ网和，已有的方法研充表明使用行为轮廓的相关理论对故障变化域分析是十分有效的，但此方法是在缺少变化日志的前提下一Ｐｔ提出的，因此有定的局限性。所Ｗ，探讨系统ｅｒｉ网模型合成时可能会产生的故障与系统中变化域之间的关系，可Ｗ更好的定位故障变化域，操作的运转效率得到大幅度提高，进而达

8、到高效率的生产及服务。对于定位模型系统中的故障变化域，己有的方法是通过切片方法寻找变化区域，此方法运算量较大而且对于大型复杂系统的准确性上存在不足一。针对这问题，本文所讲的内容主要从行