一、基于构件的Petri-net工作流建模方法（论文文献综述）
卢雅楠[1]（2020）在《基于Petri网的模型挖掘及优化》文中指出业务流程管理不仅可以提高市场对企业要求的服务效率,还可以将企业的市场竞争力大幅提升。因此,高质量、高效率业务流程的挖掘成为了国内外学者研究的重点。为了获得更加完善的业务流程模型,需要进行过程挖掘及配置优化。为了让挖掘的模型更切合实际的业务流程,本文选择从系统日志中挖掘模型。此外,从行为轮廓角度对系统日志分析并结合Petri网理论,挖掘得到初始的流程模型。但由于不同业务流程建模目的及不同的建模角色,导致了不同抽象层次和不同观点上所建立的模型差异较大。此时,需要对日志与模型的一致性程度进行度量,由此引申出一致性度量方法。最后对模型的不合理环节进行配置优化,此时主要是通过Petri网理论中的三种变迁来完成这个步骤。本文的主要贡献包括:首先,基于行为轮廓的日志挖掘。本文从Petri网行为轮廓角度对日志中活动对的弱序关系的进行了剖析,提出了从事件日志中挖掘得到Petri网形式的业务流程模型算法,该算法选定了日志实例后,对这些实例进行划分,并从行为轮廓的角度对其中包含的变迁对进行分析,得到其正确的行为轮廓关系,从而建立起初始的业务流程模型。其次,基于一致性度量的模型配置,从行为轮廓的角度结合因果网对挖掘得到的模型进行分析。根据一致性度量配置方法配置业务流程模型。结合实际生产中酒店支付系统流程模型进行具体说明。最后,基于行为轮廓的模型优化,挖掘得到的模型难免会出现的一些不合理的结构,为了对这些结构进行调整,本文提出了模型优化分析方法,并通过智能快递柜系统实例进行了具体的说明。图[18]表[14]参[66]
张世杰[2]（2020）在《Web服务组合形式化验证方法的研究》文中进行了进一步梳理面向服务的体系结构（Service-oriented Architecture,SOA）是一种新兴的软件体系结构框架,也是一种构建分布式系统的方式,其将功能作为服务提供而且强调服务之间的松散耦合。SOA体系结构的基本组成单元是Web服务,Web服务是新型的Web应用。目前随着商业、跨企业应用的快速发展,用户的功能需求变得越来越复杂,很难找到单一的Web服务来满足用户的需求。所以Web服务组合技术应运而生并迅速成为国内外学者们关注研究的热点。Web服务组合是一种组合若干个不同的单一服务形成新服务的技术,该技术为分布式软件集成提供了一种通过不同的解决方案共同工作来实现同一个目标的机制,实现了服务的可重用性从而大大提高了开发应用程序的速度。但由于服务组合本身功能的复杂性以及组合流程的并发性,使得组合后的新服务未必一定能实现服务增值,因此对Web服务组合交互行为验证十分重要。之所以使用形式化方法进行验证是因为形式化方法拥有严格的数学基础,是保证软件质量的重要方法,已被广泛用于计算机系统及软件的规约、设计、验证等活动。本文提出了采用符号模型检测对Web服务业务流程执行语言（BPEL）描述的Web服务组合交互行为验证的方法,以及结合Petri网和符号模型检测对服务组合行为验证的方法。主要工作包括:1、提出了基于消息会话的Web服务有限状态自动机模型,并利用有限状态迁移图建模BPEL流程,所构建的模型实现了BPEL活动与有限状态迁移图一一对应,然后根据Web服务组合的有限状态迁移图的模型编写Nu SMV代码,实现使用符号模型检测器Nu SMV自动验证Web服务组合。2、Petri网是具有直观的图形表达能力和丰富的数学分析方法的建模方法,但是通常对Petri网模型的分析验证是非自动化的且需要研究人员具有较强的数学理论与分析能力,因此为了充分利用Petri网的优点并避免繁琐的人为分析,提出了Petri网结合符号模型检测验证Web服务组合交互的方法。将描述Web服务组合的BPEL活动建模为Petri网,并提出Petri网与Nu SMV语言的转换规则,从而可以根据Petri网模型编写Nu SMV代码,实现使用Nu SMV自动化验证Web服务组合的Petri网模型。3、基于提出的两种验证Web服务组合的形式化方法,对两个Web服务组合应用实例进行分析和验证,并且图形化展示整个分析建模过程,而实验结果说明了方法是可靠的及正确的。本文提出的方法实现了建模过程的可视化,也实现了较复杂Web服务组合系统的自动验证和Petri网与符号模型检测结合的Web服务组合验证。
殷锐[3]（2020）在《基于工业大数据的高档数控装备可靠性评价系统研究与实现》文中提出我国制造业正在进入一个工业大数据时代,高档数控装备的可靠性分析评价遭遇关联数据量大、采集速度频率快、分析模型复杂等问题,急需引入工业大数据分析的手段,构建高档数控装备业务模型和可靠性分析模型,加强业务逻辑与业务数据的关联关系,建立数据依赖关系,利用服务化设计和大数据基础平台计算资源,提升数控装备可靠性分析效率。针对上述问题,本文设计开发了基于工业大数据平台的高档数控装备可靠性评价系统,通过构建多层次业务模型和服务化分析模型,打通业务、数据和分析过程,并基于工业大数据相关技术,构建完整的可靠性分析流程,设计开发可靠性评价系统。论文的主要研究内容如下:（1）在对高档数控装备可靠性评价系统进行需求分析的基础上,完成了基于工业大数据的高档数控装备可靠性评价系统整体架构的设计,包含数据源层、工业大数据基础平台层、业务建模层、数据处理与融合层和可靠性分析层,并在此架构之上设计了系统主要功能模块。（2）基于BPMN2.0完成了高档数控装备业务模型的构建,定义了高档数控装备业务模型的结构,设计了业务对象元数据的结构,实现了元数据格式交换与解析,并进行了实例验证。（3）研究了基于工业大数据的可靠性分析模型封装方法,梳理了可靠性分析流程,实现了算法数据变量和参数变量的封装、算法服务化封装,设计了算法关联管道,实现了分析模型的发布,并进行了实例验证。（4）基于工业大数据基础平台,基于java web相关技术进行了高档数控装备可靠性评价系统的开发。
潘梦夏[4]（2020）在《基于流程牵引理论的工程施工管理的流程可视化研究》文中指出施工管理是在一系列的工程建设过程中运用相关理论及方法工具,使施工作业能在一定的资源约束下,实现进度、成本、质量、安全等管理目标的活动。工程施工管理力求以最少的成本实现质量的最优,但是在当前的施工管理过程中,“信息孤岛”、“管理秩序混乱”、“生产事故频发”等问题明显,加之目前我国建筑规模不断扩大,结构形式不断复杂,参与主体不断增多也使得工程项目参与各方权责模糊、审批过程不透明、技术交底不全面等问题出现。本课题就是基于这些问题提出的,力求通过相关可视化技术对施工管理中的流程与要素进行可视化实现,从而营造出直观明了的工程施工环境,进而能够帮助施工参与者全面、直观的获取各要素信息,指导施工人员正确作业,同时为管理人员提高管理水平,施工方案的科学编制提供参考。在当前建筑行业信息化建设的背景下,施工管理的流程可视化是其研究与发展应用的必然趋势。本论文的开展以研究框架为基本思路进行展开,首先是对本次研究的背景与国内外研究现状进行了介绍,其次对流程管理理论、流程牵引理论和流程可视化建模技术进行了分析,通过上述一系列的分析后,将技术与理论相结合,并根据施工管理的具体内容、流程可视化的必要性以及流程分类提出构建施工管理的流程可视化体系方案,整个体系由流程可视化系统与BIM施工可视化体系两部分构成,各自发挥其可视化的优势即前者主要实现审批指令流的可视化,后者实现工作流与资源流的可视化,以此来辅助施工管理的开展。随后,将所建立的流程可视化体系与奉新县文体艺术中心项目相结合,通过体系的运作与相关应用环境的前后对比,实现了项目部审批指令流程可视化和施工现场管理人员的动态管理,施工作业人员的可视化安全技术交底,施工技术人员施工方案的科学编制。最后基于案例应用的问题思考,提出一款集成施工管理各要素信息的“L模式”流程可视化仿真软件构想。
陈鹤峰[5]（2019）在《基于面向资源Petri网的自动化制造系统的死锁控制与优化》文中研究表明自动化制造系统设计和实现过程是相当复杂的。通常需要在系统投入实施和运行之前,对其进行清楚、准确的建模,并对构成要素及系统特性加以分析,从而在设计之初可发现并克服系统存在的各种问题。如何根据产品信息和系统的制造能力设计生产计划与调度,使得制造系统中的物料流程安排合理有效,提高制造过程的柔性性能和效率。首先,需确保系统的操作的持续性,即无阻塞运行。其次,实现系统动态行为优化。Petri网是自动化制造系统建模和分析的重要数学工具。采用正规的Petri网——面向进程的Petri网—来对自动化制造系统建模,建模能力强,适用于各类制造系统,能够直观的描述了生产加工中的工件流向和资源分配与回收过程,但面向进程的Petri网模型的规模庞大,信息冗余偏多,网结构复杂,提取网结构困难（比如,提取“信标”需求解整数规划）等诸多不便。通过给正规的Petri网元素添加颜色及限制库所容量,将正规Petri网拓展为面向资源的Petri网。形式上,面向资源的Petri网可以看成一个有向图。与普通Petri网相比,面向资源的Petri网隐藏了加工过程的某些信息,网规模较小,结构紧凑。死锁在网结构表现为完全的有向回路达到饱和。数学上图论中与有向图相关的算法可以平移到面向资源的Petri网上。面向资源的Petri网能准确地描述制造系统的特殊子类—析取的单资源系统—的行为特征,该子类正是本文的研究对象。本文采用可达图分析与结构分析相结合的手段,研究自动化制造系统中的“资源合理分配及优化调度”,建立恰当的数学模型和综合高效的控制算法,不仅确保系统无全局或局部的停顿,而且实现系统行为的优化运行。Petri网可达图存在状态爆炸问题,生成可达图是NP-hard的。首先,缩减面向资源的Petri网的规模,移除与死锁无关的网结构与网元素,使得可达状态计数以指数级降低。其次,状态空间被识别为两个不相交的子空间,即,合法标识集与非法标识集。然后,采用标识覆盖技术,将识别出数据空间缩小成两个规模更小的集合。最后,构造并求解一个整数规划问题获取系统最优控制控制策略。求解整数规划不是有效的算法。系统的死锁的充分必要条件是存在完全的资源变迁回路是饱和的。通过控制完全的资源变迁回路永远达不到饱和可以确保当前系统无死锁,但系统可能陷入“系统受控”而带来的死锁。如果任意两条完全的资源变迁回路的共享链的容量大于1时,仅通过控制完全的资源变迁回路永远达不到饱和而获得对系统的最优控制。面向资源的Petri网用来建模析取的单资源系统。共享链的容量为1的情形普遍存在。在可达性分析的基础上,采用标识结构识别技术,将压缩后的非法标识集按结构特征将其划分为特征子类。对于每一个子类,在网规模的多项式级的计算复杂度下识别该类的结构特征,获取最大许可控制策略,因而识别算法是有效的。对于还未能通过结构分析方法识别的标识,采用线性规划的方法求解。最后,通过文献中常见的范例证明提出的死锁预防最大许可控制策略是有效的。
徐长雨[6]（2019）在《基于Petri网挖掘和配置的业务流程优化方法》文中研究说明如今,随着电子信息技术的发展,用户在银行ATM取款机上的取款的流程也变得更加便捷和便利化。用户在取款过程中的各种操作会留下许多取款日志,通过对保存的日志进行整理和分析,有利于建立更加完善的业务流程模型。同时有利于银行对ATM取款机的管控,提高取款业务的执行效率,保证取款的可靠性,保障取款的安全性,具有重要的现实意义。本文利用Petri网和行为轮廓从日志中进行挖掘流程模型,通过寻找变化域,利用配置三种变迁优化模型的算法来对模型进行配置优化,使得模型变得更加合理,本文的主要研究如下:（1）针对目标业务流程中模型的建立问题,提出了从事件日志中挖掘业务流程的方法。本文基于Petri网行为轮廓的弱序关系对日志中活动间的行为关系的分析,提出了基于Petri网从事件日志中挖掘业务流程的算法,该算法首先通过抽取日志,对其中的数条轨迹进行分类计数,选取频数较大的轨迹进行行为轮廓的分析,找到各条轨迹活动之间的关系,建立起初始模型,然后利用模型合理性值的评价标准进行计算分析后,进行调整模型,最后确定最优的模型。（2）针对业务流程中变化域的配置问题,提出了对变化域进行查找后进行配置优化的方法。现有的变化域的确定都只是从结构上单纯的增加控制结构,生成控制结构比较困难,且对于变化的部分没有一个有效的算法进行配置。本文首先就变化域的查找,提出了两个算法进行变化域的查找和确定。其一,查找目标模型可变点的集合的算法,用来查找目标模型中可变点的集合。该算法通过输入一个目标模型,计算可变点前边界点集合后边界点集,以及这些点集的变迁关系,来输出目标模型中可变点的集合。其二,确定目标模型的变化域的算法,用来确定目标模型的变化域,该算法将第一个算法中的可变点作为输入,经过计算子模型的服从度和支持度,来输出模型的变化域。然后,就变迁的配置优化,提出了一个配置变迁的算法对Petri网进行配置优化。该算法通过将模型中的变化域集合作为输入,通过配置允许,隐藏,阻塞三种变迁后,输出了配置后的模型的变化域。最后,本文通过针对不同用户在银行ATM取款机具有取款限额的问题,对变化域的查找以及配置优化变迁方面作了具体说明。图[18]表[8]参[70]
秦江龙[7]（2018）在《面向Web服务组合的建模与映射研究》文中指出近年来,Web服务及其组合技术的发展方兴未艾。随着单个Web服务难以满足日益复杂的业务需求,Web服务组合成为了工业界和学术界研究的热点。Web服务组合不但可以提高Web服务的复用率,减少开发周期和开发成本,而且可以根据用户不断变化的需求灵活地进行组合。对已有的Web服务进行组合构成新的Web服务,新的Web服务作为一类特殊的系统可以为用户提供更加强大的功能。Web服务组合的建模、分析与验证、实现是Web服务组合生命周期中极为重要的三个阶段。众多研究者用图形化方法、形式化方法、业务流程执行语言的方法对Web服务组合进行了研究。但是大部分研究者往往使用单一的方法对所有阶段进行建模和描述,没有充分考虑各个阶段的特点。图形化方法虽然简单直观、易于理解,适合于Web服务组合的建模阶段,但是其语义使用自然语言描述,存在着二义性和不一致性,因此并不适合用于Web服务组合的分析与验证、实现阶段。建立在数学基础之上的形式化方法虽然具有形式化的分析与验证手段,适合于Web服务组合的分析与验证,但是形式化方法高度抽象,不易理解,因此并不适合用于Web服务组合的建模、实现阶段。业务流程执行语言虽然能够在流程引擎上直接执行,适合于Web服务组合的实现阶段,但是业务流程执行语言是非形式化的,它涉及过多的实现细节,抽象程度不高,因此并不适合于Web服务组合的建模、分析与验证阶段。目前,现有文献尚没有将各个阶段建模特点与建模语言有机结合,Web服务组合的建模、分析与验证、实现之间存在着鸿沟。本文提出将业务流程建模标注（BPMN）、工作流网（workflow nets）和业务流程执行语言（BPEL）三种具有不同特点适用于不同阶段的非形式化建模语言和形式化建模语言有机结合的方法,贯穿Web服务组合生命周期的建模、分析与验证、实现等三个阶段。实现了业务流程建模标注到工作流网的映射以及工作流网到业务流程执行语言的映射,达到了从建模到实现过程无缝衔接的目的。主要研究成果如下:（1）针对业务流程建模标注建模的Web服务组合中存在的不规范、结构不同但语义相同的问题。本文提出良构Web服务组合的七大特征,给出Web服务组合过程、Web服务组合、良构Web服务组合过程、良构Web服务组合的定义,给出从普通Web服务组合到良构Web服务组合的转换规则,按照转换规则将普通Web服务组合转换为良构Web服务组合。解决了Web服务组合中不规范、构造结构多样性的问题。（2）针对BPMN标准规约使用自然语言描述Web服务组合的执行语义,无法对Web服务组合进行语义分析的问题。本文提出良构Web服务组合到工作流网的映射规则,用Petri网精确定义了Web服务组合的语义,并实现了Web服务组合到工作流网的转换工具Orch2PetriNet。利用弱互模拟关系检测Web服务组合与所生成的工作流网在行为上是等价的,从而验证映射结果的正确性。（3）针对Web服务组合中具有共性的缺少开始事件、结束事件或者缺少开始事件和结束事件,并行网关和排他网关混用、排他网关和并行网关混用,Web服务组合不合理等三大类问题。本文借助工作流网分析技术,将Web服务组合中的语义错误归结为工作流网中的结构问题或者性质问题,具体来说,Web服务组合缺少开始事件、结束事件或者缺少开始事件和结束事件及网关混用的问题,通过相应的算法以及已有的Petri网验证工具进行结构分析;Web服务组合不合理的问题,通过Petri网验证工具进行性质分析。对于发现的问题,修改建模阶段的Web服务组合模型,映射成工作流网,再次使用相应的工具及算法检测工作流网是否还存在问题,直到没有问题为止。（4）针对工作流网转换成可执行的业务流程执行语言的问题,本文提出工作流网到可执行的业务流程执行语言的映射算法,给出构件的定义以及顺序构件、选择构件、挑选构件、循环构件和流构件对应的BPEL代码,通过迭代的方法反复选取不同类型的构件,提供BPEL转换,化简工作流网,从而实现整个工作流网到BPEL代码的映射和转换。总之,针对Web服务组合生命周期中的建模、分析与验证、实现等三个阶段,本文提出了不同阶段的相关理论、方法和技术,支持从建模到实现过程的平滑过渡。最后通过一个完整的案例验证所提出理论和方法的正确性。
杨冬芹[8]（2012）在《工作流与Petrinet的关系》文中认为从工作流的工程学发展与Petrinet数学属性的关系入手,重点分析当前工作流产品数学属性的缺位,并从一定角度探讨Petrinet理念与工作流系统的融入。
孔令东[9]（2011）在《基于模糊Petri网的瓦斯突出空间预测模型研究》文中认为煤与瓦斯突出是严重影响煤矿安全生产的自然灾害之一,依据瓦斯突出机理因素、因素权重和时空序列,引入模糊Petri网和工作流挖掘技术,描述瓦斯突出的动态演变过程,进而用于瓦斯突出预测的推理分析,可为突出预测研究、突出前兆动态信息的处理及应用提供一种新的理论方法和技术途径。本文在对瓦斯突出预测方法和模糊Petri网理论深入研究的基础上,实地调研分析瓦斯突出的空间分布,提出模糊Petri网的瓦斯突出预测模型,分别从瓦斯突出的模糊Petri空间建模、体系结构、模糊空间Petri网的规则描述和动态推理、模型系统的实现等几个方面进行深入和系统的研究。提出了瓦斯突出的模糊Petri网空间模型,针对瓦斯突出各因素空间分布的特点,解决了瓦斯突出的模糊性描述和空间建模问题。在深入分析Petri网和模糊Petri网相关定义、模型结构、空间关联动态性质和模糊知识表示的基础上,研究了模糊Petri网和瓦斯突出的空间预测的结合点；深入研究瓦斯突出的模糊空间表示,扩展模糊Petri网的相关组件成分,建立瓦斯突出的模糊Petri网空间模型,使瓦斯突出影响因素在不同的空间位置通过空间模型表示出来。提出了基于工作流网的瓦斯突出空间数据挖掘,实现了瓦斯突出空间状态因素和业务流程建模的统一,解决瓦斯突出空间模型的可实现性和空间决策问题。在论证空间数据挖掘和工作流结合的必要性和可行性基础上,分析工作流及过程优化,研究了基于Petri网的工作流网,从定义、组件和Petri网进行工作流建模的优点等几方面进行了对比分析；通过扩展工作流参考模型的接口,提出了基于工作流网的空间数据挖掘体系结构,进一步结合瓦斯突出的空间预测研究,建立瓦斯突出工作流网模型,将瓦斯突出空间预测模型作为工作流过程定义模型,挖掘瓦斯突出预测的规则,用于瓦斯突出预测的过程；从静态数据挖掘和动态数据额挖掘两个方面,在对关键技术实现研究的基础上,完成了实例分析,突破了模糊Petri网的瓦斯突出模型的可实现性瓶颈,建立了模型系统的体系结构。提出了模糊空间Petri网,为增强模糊Petri网空间描述的通用性,将空间属性作为重要指标,解决了瓦斯突出不同空间状态建模的动态关联和推理等可实现性问题,从定义、组件、知识表示、规则描述和动态推理等方面形成了较为完整的空间建模理论体系。深入研究空间位置和模糊Petri网的结合,引入空间关联因子,借鉴相关扩展的模糊Petri网,给出了模糊空间Petri网的定义；依据空间影响因子分布情况,详细地阐述了状态关联影响组件、变迁关联影响组件、状态关联多值阈值的构成及含义,解决了瓦斯突出不同空间区域关联的知识表示问题；随后,对比基本Petri网结构进行了等价性分析,对比基本模糊Petri网进行了改进性分析；深入地研究了模糊空间Petri网的知识表示,详细描述了相关分层的思想、面向对象表示和XML表示；最后,详细研究了动态推理和模糊空间Petri网规则描述,提出了一种带反馈的动态推理算法。深入探索Petri网的可实现性,建立基于WF的瓦斯突出预测模型系统,解决了瓦斯突出Petri网建模的程序可实现性。基于微软最新工作流开发平台WF4.0,实现了基本Petri网和模糊空间Petri网的建模和组件开发。在此基础上建立了模型验证系统,可以描述模糊Petri网的规则推理和动态测试。该论文有图72幅,表10个,参考文献157篇。
王亚文,刘智平[10]（2011）在《一种基于时间权重的Petri Net工作流过程建模》文中指出为了研究Petri Net工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.
二、基于构件的Petri-net工作流建模方法（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、基于构件的Petri-net工作流建模方法（论文提纲范文）
（1）基于Petri网的模型挖掘及优化（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 研究现状 |
| 1.2.1 业务流程模型 |
| 1.2.2 基于事件日志挖掘流程模型 |
| 1.2.3 行为轮廓 |
| 1.2.4 可配置流程模型 |
| 1.3 本文研究内容 |
| 1.3.1 文章结构 |
| 1.3.2 本文主要内容 |
| 第2章 基本知识 |
| 2.1 Petri网相关知识 |
| 2.1.1 基本概念 |
| 2.1.2 Petri网相关性质 |
| 2.2 行为轮廓相关知识 |
| 2.2.1 行为轮廓相关定义 |
| 2.2.2 行为轮廓相关性质 |
| 2.3 模型的一致性度量 |
| 2.3.1 一致性度量概念 |
| 2.3.2 一致性度量概念 |
| 第3章 基于Petri网的日志挖掘研究 |
| 3.1 日志挖掘概述 |
| 3.2 日志挖掘相关知识 |
| 3.2.1 日志基本定义 |
| 3.2.2 日志相关性质 |
| 3.3 事件日志的挖掘算法 |
| 3.4 实例分析 |
| 3.5 本章小结 |
| 第4章 基于Petri网的酒店支付模型挖掘及优化 |
| 4.1 概述 |
| 4.2 基于事件日志挖掘流程模型 |
| 4.2.1 从事件日志提取酒店支付模型 |
| 4.2.2 模型的一致性度量 |
| 4.3 酒店支付流程模型的优化 |
| 4.3.1 酒店支付模型的分析 |
| 4.3.2 酒店支付模型的优化 |
| 4.4 实例分析 |
| 4.5 PIPE仿真软件的模拟 |
| 4.6 本章小结 |
| 第5章 基于Petri网智能快递柜模型挖掘及优化 |
| 5.1 相关工作 |
| 5.2 快递柜模型的挖掘 |
| 5.3 智能快递柜模型优化 |
| 5.4 PIPE仿真软件的模拟运行 |
| 5.5 本章小结 |
| 第6章 总结和展望 |
| 6.1 工作总结 |
| 6.2 进一步研究和展望 |
| 参考文献 |
| 致谢 |
| 作者简介及读研期间主要科研成果 |
（2）Web服务组合形式化验证方法的研究（论文提纲范文）
| 摘要 |
| abstract |
| 第1章 绪论 |
| 1.1 研究的背景和意义 |
| 1.2 国内外研究现状 |
| 1.3 本文研究的内容和结构 |
| 第2章 Web服务组合与业务流程执行语言 |
| 2.1 Web服务 |
| 2.2 Web服务组合 |
| 2.3 业务流程执行语言 |
| 2.3.1 BPEL基本活动 |
| 2.3.2 BPEL结构化活动 |
| 2.4 本章小结 |
| 第3章 符号模型检测与Petri网 |
| 3.1 符号模型检测及NuSMV |
| 3.1.1 符号模型检测 |
| 3.1.2 NuSMV |
| 3.2 Petri网 |
| 3.2.1 基本概念 |
| 3.2.2 分析方法 |
| 3.3 本章小结 |
| 第4章 基于符号模型检测的Web服务组合验证 |
| 4.1 方法框架 |
| 4.2 Web服务组合的形式化定义 |
| 4.3 BPEL与有限状态自动机及NuSMV程序间的转换 |
| 4.3.1 BPEL流程转换为有限状态自动机 |
| 4.3.2 有限状态自动机转换为NuSMV程序 |
| 4.4 实例分析 |
| 4.4.1 旅行预订服务 |
| 4.4.2 基于消息会话的有限状态自动机模型 |
| 4.4.3 NuSMV程序 |
| 4.4.4 属性规约 |
| 4.4.5 验证结果 |
| 4.5 本章小结 |
| 第5章 基于符号模型与Petri网的服务组合验证 |
| 5.1 方法框架 |
| 5.2 BPEL流程与Petri网可达标识图及NuSMV程序间的转换 |
| 5.2.1 BPEL流程转换为Petri网 |
| 5.2.2 可达标识图转换为NuSMV程序 |
| 5.3 实例分析 |
| 5.3.1 可达标识图 |
| 5.3.2 NuSMV程序 |
| 5.3.3 属性规约 |
| 5.3.4 验证结果 |
| 5.4 本章小结 |
| 总结与展望 |
| 致谢 |
| 参考文献 |
| 攻读硕士学位期间发表的论文及参与的科研工作 |
（3）基于工业大数据的高档数控装备可靠性评价系统研究与实现（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 符号对照表 |
| 缩略语对照表 |
| 第一章 绪论 |
| 1.1 研究背景及意义 |
| 1.1.1 研究背景 |
| 1.1.2 研究意义 |
| 1.2 国内外研究现状 |
| 1.2.1 业务建模技术研究现状 |
| 1.2.2 装备可靠性分析评价模型封装方法研究现状 |
| 1.3 论文的主要内容与结构框架 |
| 第二章 高档数控装备可靠性评价系统分析与设计 |
| 2.1 基于工业大数据的可靠性分析过程 |
| 2.2 高档数控装备可靠性评价系统需求分析 |
| 2.3 高档数控装备可靠性评价系统整体架构 |
| 2.4 高档数控装备可靠性评价系统功能模块 |
| 2.5 本章小结 |
| 第三章 高档数控装备可靠性评价系统业务模型构建 |
| 3.1 业务建模目的和技术选型 |
| 3.1.1 业务建模目的 |
| 3.1.2 业务建模技术选型 |
| 3.2 基于BPMN2.0的业务流程建模 |
| 3.2.1 BPMN2.0简介 |
| 3.2.2 BPMN2.0与高档数控装备业务映射关系 |
| 3.2.3 业务模型结构 |
| 3.2.4 业务建模技术路线 |
| 3.3 业务建模中的元数据 |
| 3.3.1 数控装备业务对象元数据 |
| 3.3.2 BPMN装备业务对象元数据 |
| 3.3.3 元数据的数据格式交换及解析 |
| 3.4 业务建模实例 |
| 3.4.1 业务流程模型 |
| 3.4.2 完整业务模型 |
| 3.5 本章小结 |
| 第四章 高档数控装备可靠性评价模型封装 |
| 4.1 基于工业大数据的可靠性模型 |
| 4.2 基于工业大数据的分析模型封装方法 |
| 4.2.1 模型封装总体过程 |
| 4.2.2 数据变量和参数变量的分类及封装 |
| 4.2.3 服务化算法封装 |
| 4.2.4 关联管道设计 |
| 4.2.5 分析模型发布 |
| 4.3 数据分析及可靠性评价实例 |
| 4.3.1 传统可靠性模型分析过程 |
| 4.3.2 基于工业大数据的可靠性分析 |
| 4.4 本章小结 |
| 第五章 高档数控装备可靠性评价系统的实现 |
| 5.1 开发环境及技术 |
| 5.1.1 开发环境 |
| 5.1.2 开发技术栈 |
| 5.1.3 开发工具 |
| 5.2 关键技术 |
| 5.2.1 业务模型构建 |
| 5.2.2 模型分析计算 |
| 5.3 平台运行实例及界面 |
| 5.3.1 系统管理模块 |
| 5.3.2 数据管理模块 |
| 5.3.3 业务建模模块 |
| 5.3.4 分析评价模块 |
| 5.4 本章小结 |
| 第六章 总结与展望 |
| 6.1 本文总结 |
| 6.2 展望 |
| 参考文献 |
| 致谢 |
| 作者简介 |
（4）基于流程牵引理论的工程施工管理的流程可视化研究（论文提纲范文）
| 摘要 |
| abstract |
| 1 绪论 |
| 1.1 研究背景及意义 |
| 1.2 当前研究现状及存在的问题 |
| 1.2.1 国内外研究现状 |
| 1.2.2 存在的问题 |
| 1.3 研究主要内容及创新点 |
| 1.3.1 主要内容 |
| 1.3.2 创新点 |
| 1.4 研究方法及研究框架 |
| 1.4.1 研究方法 |
| 1.4.2 研究框架 |
| 2 流程与可视化相关技术理论研究 |
| 2.1 概述 |
| 2.2 流程管理思想 |
| 2.3 流程牵引理论 |
| 2.3.1 流程的定义与作用价值 |
| 2.3.2 流程牵引“L-模式” |
| 2.3.3 组织管理工作系统 |
| 2.4 流程可视化技术 |
| 2.4.1 可视化技术概念及分类 |
| 2.4.2 流程可视化概念及建模技术 |
| 2.4.3 流程可视化建模技术对比 |
| 3 施工管理中的流程研究 |
| 3.1 概述 |
| 3.2 施工管理的概念及特点 |
| 3.3 施工管理主要内容及过程 |
| 3.3.1 进度控制 |
| 3.3.2 成本控制 |
| 3.3.3 质量控制 |
| 3.3.4 安全管理 |
| 3.3.5 合同管理 |
| 3.3.6 信息管理 |
| 3.3.7 组织管理 |
| 3.3.8 资源管理 |
| 3.4 施工管理的流程可视化必要性 |
| 3.4.1 流程不明,管理脱节 |
| 3.4.2 流程不明,沟通不畅 |
| 3.4.3 流程不明,工艺混乱 |
| 3.4.4 流程是岗位履行的有效机制 |
| 3.5 施工管理的过程模型 |
| 3.6 施工管理中的流程分类 |
| 4 施工管理的流程可视化方案 |
| 4.1 概述 |
| 4.2 方案目标 |
| 4.3 施工管理的流程可视化体系总体设计 |
| 4.3.1 总体架构及功能逻辑 |
| 4.3.2 关键技术 |
| 4.3.3 总体技术框架 |
| 5 施工管理的流程可视化体系构建 |
| 5.1 概述 |
| 5.2 基于流程可视化系统的指令流可视化 |
| 5.2.1 系统结构 |
| 5.2.2 系统运作机制 |
| 5.2.3 系统功能 |
| 5.2.4 系统实现 |
| 5.3 基于BIM施工可视化体系的资源流、工作流可视化 |
| 5.3.1 软件介绍 |
| 5.3.2 可视化实现过程 |
| 5.3.3 BIM流程可视化形式 |
| 5.3.4 BIM施工可视化体系 |
| 6 案例分析 |
| 6.1 概述 |
| 6.2 项目概况 |
| 6.3 流程可视化系统应用 |
| 6.3.1 项目组织模型创建 |
| 6.3.2 各审批事项流程可视化系统的实现 |
| 6.3.3 以现场签证的审批流程可视化实现为例 |
| 6.4 BIM施工可视化体系应用 |
| 6.4.1 组织建立 |
| 6.4.2 技术准备 |
| 6.4.3 BIM应用计划 |
| 6.4.4 BIM模型建立 |
| 6.4.5 BIM施工可视化应用 |
| 6.5 案例总结 |
| 7 “L模式”的流程可视化仿真软件构想 |
| 7.1 概述 |
| 7.2 软件构想 |
| 7.2.1 软件应用目标构想 |
| 7.2.2 软件架构构想 |
| 7.2.3 软件功能构想 |
| 7.3 本章小结 |
| 8 总结展望 |
| 参考文献 |
| 在校研究成果 |
| 致谢 |
（5）基于面向资源Petri网的自动化制造系统的死锁控制与优化（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究意义 |
| 1.2 国内外的研究现状 |
| 1.3 研究目标及创新点 |
| 1.4 研究内容与组织结构 |
| 1.4.1 研究内容 |
| 1.4.2 组织结构 |
| 第二章 正规Petri网与拓展Petri网 |
| 2.1 多重集合 |
| 2.2 Petri网 |
| 2.3 Petri网的行为特性 |
| 2.3.1 有界性 |
| 2.3.2 可达性 |
| 2.3.3 活性 |
| 2.3.4 守恒性 |
| 2.4 Petri网的可达图 |
| 2.5 特定的Petri网 |
| 2.5.1 有限容量Petri网 |
| 2.5.2 着色Petri网 |
| 2.6 小结 |
| 第三章 自动化制造系统及其Petri网建模 |
| 3.1 自动化制造系统概述 |
| 3.1.1 刚性与柔性制造系统 |
| 3.1.2 自动化制造系统定义 |
| 3.2 自动化制造系统的分类 |
| 3.3 自动化制造系统的状态转移 |
| 3.4 自动化制造系统的状态特征 |
| 3.5 自动化制造系统的POPN建模 |
| 3.6 几个常见的POPN范例 |
| 3.7 POPN中的特点 |
| 3.8 自动化制造系统的ROPN建模 |
| 3.8.1 ROPN定义 |
| 3.8.2 ROPN状态演化规则 |
| 3.8.3 ROPN建模 |
| 3.9 ROPN之特征 |
| 3.10 POPN与ROPN之比较 |
| 3.11 小结 |
| 第四章 最大许可线性控制策略 |
| 4.1 AMS中的死锁问题 |
| 4.2 AMS中死锁问题的解决方法 |
| 4.3 AMS中死锁预防策略 |
| 4.3.1 可达性分析 |
| 4.3.2 结构分析 |
| 4.4 基于区域理论的线性约束 |
| 4.4.1 标识分类 |
| 4.4.2 最大许可行为监控器综合 |
| 4.5 标识覆盖技术 |
| 4.6 基于整数规划的最大许可控制器的综合 |
| 4.7 小结 |
| 第五章 基于ROPN结构的控制器综合 |
| 5.1 引言 |
| 5.2 ROPN的死锁相关的网结构 |
| 5.3 ROPN的监控器 |
| 5.4 死锁控制策略正确性的充分条件 |
| 5.5 缩小可达图规模 |
| 5.6 ROPN的结构分析 |
| 5.6.1 基础与常用符号 |
| 5.6.2 单一颜色且充满的情形 |
| 5.6.3 标识死锁的情形 |
| 5.6.4 向前一步死锁的情形 |
| 5.6.5 单一颜色的情形 |
| 5.6.6 最大许可约束的线性规划求解 |
| 5.6.7 综合最大许可控制器流程 |
| 5.7 监督控制器的实现 |
| 5.8 两个规模稍大的范例 |
| 5.9 小结 |
| 总结与展望 |
| 参考文献 |
| 攻读学位期间发表的论文 |
| 致谢 |
（6）基于Petri网挖掘和配置的业务流程优化方法（论文提纲范文）
| 摘要 |
| Abstract |
| 引言 |
| 1 绪论 |
| 1.1 研究背景 |
| 1.2 研究现状 |
| 1.2.0 基于事件日志挖掘流程模型 |
| 1.2.1 业务流程模型 |
| 1.2.2 变化域分析 |
| 1.2.3 可配置流程模型 |
| 1.3 研究动机和意义 |
| 1.4 内容和结构安排 |
| 2 基础知识 |
| 2.1 Petri网的相关知识 |
| 2.1.1 Petri网的基本定义 |
| 2.1.2 Petri网的基本性质 |
| 2.1.3 Petri网的分析方法 |
| 2.1.4 Petri网的结构性质 |
| 2.2 行为轮廓的相关知识 |
| 2.2.1 行为轮廓的基本定义 |
| 2.2.2 行为轮廓的相关性质 |
| 2.3 一致性评价方法 |
| 2.3.1 模型与模型间的一致性评价方法 |
| 2.3.2 日志于模型间的一致性评价方法 |
| 3 基于Petri网行为轮廓从事件日志中挖掘流程模型 |
| 3.1 概述 |
| 3.2 基本概念 |
| 3.3 基于事件日志的挖掘算法 |
| 3.4 实例分析 |
| 3.5 本章小结 |
| 4 基于Petri网分析和配置优化流程模型 |
| 4.1 概述 |
| 4.2 基本概念 |
| 4.2.1 变化域的定义 |
| 4.2.2 配置变迁的定义 |
| 4.3 基于Petri网的配置变迁的算法 |
| 4.4 实例分析 |
| 4.4.1 实例一 |
| 4.4.2 实例二 |
| 4.5 本章小结 |
| 5 结论 |
| 5.1 本文的主要工作 |
| 5.2 未来的主要工作 |
| 参考文献 |
| 致谢 |
| 作者简介及读研期间主要科研成果 |
（7）面向Web服务组合的建模与映射研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 动因 |
| 1.3 研究内容 |
| 1.4 创新点 |
| 1.5 组织结构及各章之间的关系 |
| 1.5.1 组织结构 |
| 1.5.2 各章之间的关系 |
| 第2章 相关工作和研究基础综述 |
| 2.1 引言 |
| 2.2 Web服务综述 |
| 2.2.1 Web服务 |
| 2.2.2 Web服务组合 |
| 2.2.3 Web服务组合建模 |
| 2.3 业务流程建模标注(BPMN) |
| 2.4 Petri网 |
| 2.5 业务流程执行语言(BPEL) |
| 2.5.1 BPEL基本活动 |
| 2.5.2 BPEL结构化活动 |
| 2.6 小结 |
| 第3章 Web服务组合的规范化 |
| 3.1 引言 |
| 3.2 Web服务组合的形式定义 |
| 3.3 Web服务组合规范化的转换规则 |
| 3.4 案例 |
| 3.5 小结 |
| 第4章 Web服务组合到工作流网的映射 |
| 4.1 引言 |
| 4.2 Web服务组合片段到Petri网片段的映射 |
| 4.2.1 普通Web服务组合片段到Petri网片段的映射 |
| 4.2.2 循环任务到Petri网片段的映射 |
| 4.3 子流程的映射与初始状态的配置 |
| 4.4 映射的形式化定义 |
| 4.5 映射规则的一致性测试 |
| 4.6 小结 |
| 第5章 Web服务组合中的问题分析及解决方法 |
| 5.1 引言 |
| 5.2 Web服务组合中存在的问题 |
| 5.2.1 Web服务组合中缺少开始事件或结束事件 |
| 5.2.2 Web服务组合中并行网关和排他网关混用 |
| 5.2.3 Web服务组合中排他网关和并行网关混用 |
| 5.2.4 Web服务组合不合理 |
| 5.3 Web服务组合中问题的分析 |
| 5.3.1 Web服务组合中缺少开始事件或结束事件的分析 |
| 5.3.2 Web服务组合中网关混用的分析 |
| 5.3.3 Web服务组合不合理的分析 |
| 5.4 Web服务组合中问题的解决方法 |
| 5.4.1 Web服务组合中缺少开始事件或结束事件的解决方法 |
| 5.4.2 Web服务组合中网关混用的解决方法 |
| 5.4.3 Web服务组合不合理的解决方法 |
| 5.5 小结 |
| 第6章 工作流网到BPEL代码的映射 |
| 6.1 引言 |
| 6.2 工作流网到构件的分解 |
| 6.2.1 构件定义 |
| 6.2.2 构件的等价功能替换 |
| 6.3 工作流网到BPEL代码的映射 |
| 6.3.1 标注工作流网定义 |
| 6.3.2 构件到BPEL代码的映射 |
| 6.3.3 映射算法 |
| 6.4 案例 |
| 6.5 小结 |
| 第7章 综合案例研究 |
| 7.1 引言 |
| 7.2 Web服务组合到工作流网转换工具的实现 |
| 7.3 某运输公司案例 |
| 7.3.1 某运输公司Web服务组合模型的规范化 |
| 7.3.2 某运输公司Web服务组合模型到工作流网的映射与分析 |
| 7.3.3 某运输公司Web服务组合对应工作流网到BPEL代码的映射 |
| 7.3.4 某运输公司Web服务组合的实现 |
| 7.4 小结 |
| 第8章 总结与展望 |
| 8.1 工作总结 |
| 8.2 未来工作的展望 |
| 参考文献 |
| 攻读博士学位期间发表的论文 |
| 致谢 |
（8）工作流与Petrinet的关系（论文提纲范文）
| 1 工作流基本概念 |
| 2 Petrinet理论基础介绍 |
| 2.1 Petri网的结构 |
| 2.2 Petrinet的行为 |
| 2.3 Petrinet的形式化定义 |
| 2.4 Petrinet流程建模 |
| 3 工作流与Petrinet的关系 |
| 4 结束语 |
（9）基于模糊Petri网的瓦斯突出空间预测模型研究（论文提纲范文）
| 致谢 |
| 摘要 |
| Abstract |
| Extended Abstract |
| 图清单 |
| 表清单 |
| 缩略词清单 |
| 1 绪论 |
| 1.1 课题背景及意义 |
| 1.2 国内外研究现状 |
| 1.3 主要研究内容及技术路线 |
| 2 瓦斯突出的空间分布 |
| 2.1 引言 |
| 2.2 瓦斯在煤层空间的流动 |
| 2.3 影响煤层瓦斯含量的因素及突出的规律 |
| 2.4 国家《煤矿安全规程》瓦斯空间监测要求 |
| 2.5 协庄煤矿瓦斯空间监控 |
| 2.6 空间信息获取与分析 |
| 2.7 本章小结 |
| 3 瓦斯突出的模糊Petri网空间模型 |
| 3.1 引言 |
| 3.2 基本Petri网 |
| 3.3 模糊Petri网 |
| 3.4 模糊Petri网组件扩展 |
| 3.5 瓦斯突出的模糊Petri网空间模型 |
| 3.6 本章小结 |
| 4 基于工作流网的瓦斯突出空间数据挖掘 |
| 4.1 引言 |
| 4.2 空间数据挖掘和工作流结合 |
| 4.3 工作流及过程优化 |
| 4.4 基于Petri网的工作流网 |
| 4.5 基于工作流网的空间数据挖掘体系结构 |
| 4.6 瓦斯突出的工作流网模型 |
| 4.7 基于工作流网的瓦斯突出空间数据挖掘 |
| 4.8 本章小结 |
| 5 模糊空间Petri网 |
| 5.1 引言 |
| 5.2 研究动机 |
| 5.3 定义及空间关联组件 |
| 5.4 等价性分析及改进 |
| 5.5 知识表示 |
| 5.6 规则描述 |
| 5.7 动态推理 |
| 5.8 本章小结 |
| 6 基于WF的瓦斯突出预测模型系统 |
| 6.1 引言 |
| 6.2 开发环境 |
| 6.3 WF的作用和优点 |
| 6.4 Petri网和StateMachine工作流 |
| 6.5 基本WF的Petri网建模与实现 |
| 6.6 基于WF的模糊空间Petri网组件开发 |
| 6.7 基于WF的瓦斯突出预测模型系统 |
| 6.8 本章小结 |
| 7 结论与展望 |
| 7.1 本文所做的主要工作 |
| 7.2 未来的工作的展望 |
| 参考文献 |
| 作者简历 |
| 学位论文数据集 |
四、基于构件的Petri-net工作流建模方法（论文参考文献）
- [1]基于Petri网的模型挖掘及优化[D]. 卢雅楠. 安徽理工大学, 2020(04)
- [2]Web服务组合形式化验证方法的研究[D]. 张世杰. 西南交通大学, 2020
- [3]基于工业大数据的高档数控装备可靠性评价系统研究与实现[D]. 殷锐. 西安电子科技大学, 2020(05)
- [4]基于流程牵引理论的工程施工管理的流程可视化研究[D]. 潘梦夏. 绍兴文理学院, 2020(03)
- [5]基于面向资源Petri网的自动化制造系统的死锁控制与优化[D]. 陈鹤峰. 广东工业大学, 2019(03)
- [6]基于Petri网挖掘和配置的业务流程优化方法[D]. 徐长雨. 安徽理工大学, 2019(01)
- [7]面向Web服务组合的建模与映射研究[D]. 秦江龙. 云南大学, 2018(10)
- [8]工作流与Petrinet的关系[J]. 杨冬芹. 硅谷, 2012(17)
- [9]基于模糊Petri网的瓦斯突出空间预测模型研究[D]. 孔令东. 中国矿业大学, 2011(08)
- [10]一种基于时间权重的Petri Net工作流过程建模[J]. 王亚文,刘智平. 微电子学与计算机, 2011(03)