基于Petri网的工作流模型的研究与分析.pdf

《基于Petri网的工作流模型的研究与分析.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、论文题目基于Petri网的工作流模型的研究与分析工程领域软件工程指导教师程光辉副教授作者姓名孟广学学号201092100110万方数据分类号密级注1UDC学位论文基于Petri网的工作流模型的研究与分析（题名和副题名）孟广学（作者姓名）指导教师姓名程光辉副教授电子科技大学成都李挥剑高工交通运输部管理干部学院三河（职务、职称、学位、单位名称及地址）申请专业学位级别硕士专业学位类别工程硕士工程领域名称软件工程提交论文日期2012.03论文答辩日期2012.06学位授予单位和日期电子科技大学答辩委员会主席评阅人年月日注1：注明《国际十进分类法UDC》的类号万方数据独创性声明本人声明所呈交的学位

2、论文是本人在导师指导下进行的研究工作取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。签名：日期：年月日关于论文使用授权的说明本学位论文作者完全了解电子科技大学有关保留、使用学位论文的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论

3、文。（保密的学位论文在解密后应遵守此规定）签名：导师签名：日期：年月日万方数据摘要摘要Petri网是描述具有并发和离散特性事件有效的建模工具。利用Petri网对工作流进行建模，为了使所建立的模型能全面、系统地描述企业管理和任务的执行过程，在对所建立模型的性能分析中，计算该模型总的服务时间是工作流模型研究的一个重要内容。但实际中，模型往往规模巨大而复杂，这给计算模型总的服务时间带来很大的困难。针对以上问题，本文主要基于Petri网的基本理论对工作流建模的合理性和正确性进行了分析与研究，具体内容为：首先，依据Petri网工作流的四种基本模型，给出了对复杂工作流模型进行分层简化的具体步骤和方法

4、，使复杂的工作流模型变得直观易于定量分析。其次，利用数学中的顺序统计量、分布函数、概率密度函数、卷积分等推导出了对串联模型、并联模型和选择模型的等价服务时间计算公式。然后，利用Petri网对工作流的描述，建立一个计算机的销售过程实例模型，并对该模型进行了分层简化，利用推导出的等价服务时间公式进行了计算和分析，验证其合理性。最后，利用ExSpect仿真软件对计算机的销售过程模型进行了仿真实现，将理论计算的结果与仿真实现的数据进行了对比分析。关键词：工作流模型，Petri网，等价服务时间，仿真I万方数据ABSTRACTABSTRACTThePetriNetisaneffectivemodel

5、ingtoolfordescribingeventswithcharacteristicsofconcurrencyanddiscretion.WhenPetriNetisusedtomodelforworkflow,thecreatedmodelsshouldbeperformedperformanceanalysisinorderthatthosemodelscandescribeenterprisemanagementandprocessoftaskexecutionfullyandsystematically.Calculatingthetotalequivalentservic

6、etimeisanimportantpartintheresearchoftheworkflowmodel.However,inreality,themodeltendstohavebigsizesandbeverycomplex,whichbringgreatdifficultiestocalculatingthetotalservicetime.Consideringaboveproblems,thispapermainlystudiedreasonablenessandcorrectnessofmodelingforworkflowbasedonPetriNet,thedetail

7、sareasfollows:Firstly,basedonthefourbasicmodelsofPetriNet,thedetailedproceduresandmethodsforsimplystratifyingcomplexworkflowmodelswereproposed,whichmadethecomplexworkflowmodelseasiertobeanalyzedquantitatively.Next,byth