一种基于校准的模型问题域识别方法

以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。     

基于扩展足迹矩阵的一致性检测

一致性检测是过程挖掘研究的重要内容,现有的一致性检测方法不足以找到准确的偏差位置。本文以Petri网作为描述过程模型的形式化方法,根据基于日志的次序关系重新定义了一种基于日志的扩展次序关系,并以此定义了基于日志的扩展足迹矩阵和基于模型的扩展足迹矩阵。通过对比两个扩展足迹矩阵得到日志和模型之间精准的偏差位置。最后,通过索赔申请处理的实例验证了方法的有效性。     

基于Petri网的物流派送模型修复分析

目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值.因此,越来越多的学者专注于研究模型修复.基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提出的用于辅助模型修复的算法对原始模型进行修复,使得修复后的模型能够完全重放事件日志.最后通过实例分析验证了修复模型的合理性.     

基于过程挖掘的临床路径Petri网建模

提出基于统计α算法的临床路径Petri网模型,将Petri网和基于统计α算法的过程挖掘算法集成,从事件日志中挖掘重要信息,获得完善的诊疗流程,并在此基础上建立Petri网模型,有效实现诊疗流程的优化和改进.通过仿真数据试验,验证了本文提出的统计α算法相较于经典α算法在准确度和运行时间上有着较大的优势.并将模型运用到临床路径真实数据上,证明了模型的有效性和准确性.     

基于依赖关系的数据流Petri网一致性分析

现有的大部分关于业务流程一致性的研究主要考虑控制流.而数据信息也是流程中需要重点关注的部分,在考虑数据视角后,模型与事件日志间的一致性可能出现很大的不同.提出一种基于依赖关系的数据流Petri网一致性检查方法.方法引入决策表的概念,通过寻找模型中存在的决策点并对其添加决策表来构建合理且尽可能贴合实际系统的数据流Petri网模型;根据模型与事件日志中存在的依赖关系,使用给定的代价函数计算最优对齐与参考对齐所需代价值,在此基础上计算得到日志与模型的一致性度,根据结果衡量流程执行的一致性;通过实例分析对所提方法进行验证,结果表明,融合数据流与决策表的方法在一致性检查中更具合理性.     

医疗急诊流程挖掘与模型改进

基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,给出了一种挖掘模型的改进方法,利用逻辑变迁来避免选择结构,并进行医疗急诊流程的二次建模,进而保证构建的流程模型与实际流程保持一致。     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

一种基于不确定Petri网的推理算法

传统的Petri网运用确定的信息进行推理,而现实生活中存在大量不精确的、不确定的信息.在采用模糊Petri网模型解决此类问题时,可能会使一个能够发生的命题被判断成不会发生,从而出现错误的结果.不确定理论是解决主观不确定性问题的数学工具.本文结合不确定理论与Petri网,提出不确定Petri网模型,用于表示不确定产生式规则系统.在此模型上,提出了一种不确定推理算法,并给出实例进行说明.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于Petri网行为轮廓从事件日志中挖掘隐变迁的方法

隐变迁是指一些存在于过程模型中,但没有出现在日志序列中的变迁。这样的变迁会大量存在于现实的模型中。从事件日志中寻找挖掘隐变迁的方法是过程挖掘技术的一个重要的难题。目前针对自由选择网有一些解决办法,但是对于复杂的过程模型有一定的局限性。本文提出了基于Petri网行为轮廓寻找隐变迁的方法。首先根据发生频率最高日志序列得出源模型,再根据剩余的日志序列一步步优化源模型从而找到隐变迁,最后通过评价指标来判定模型的合理性。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网（ETPN）的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解．首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度．通过实例证明了该建模方法和优化算法的有效性和正确性．     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

基于新型扩展模糊Petri网的食品冷链故障诊断方法

针对生鲜食品在冷链配送过程中容易发生变质的问题,并考虑冷链过程的时序性特点,提出一种基于新型扩展模糊Petri网(EFPN)的故障诊断方法.该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析,从而得到引起故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素,降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于时序模拟法和Petri网的电气主接线可靠性评估

提出了用时序模拟法对电气主接线进行可靠性评估。首先按照系统运行的时间顺序进行采样，得到随时间变化的系统状态，并用离散的时间步长法模拟系统状态，不仅可以反映系统的实际运行过程，而且便于考虑与时间有关的问题；其次利用有色Petri网模型以及基于该Petri网的电网拓扑分析算法，对主接线由于开关变化引起网络变化的动态过程进行分析。计算结果表明了该算法的正确性和有效性。     

扩展颜色逻辑Petri网及其可达性分析

逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。     

基于模糊故障Petri网的网络故障成因建模与分析

针对目前网络故障解决速度慢、影响用户使用体验等问题,将模糊Petri网和故障Petri网相结合提出模糊故障Petri网(fuzzy fault Petri net,FFPN).建立基于FFPN的网络故障成因模型,并结合基于FFPN诊断思想的算法,计算模型中某个可能引起以太网出现故障的因素的真实度,真实度最高的成因因素即为可能引起以太网出现故障的最主要因素.实例分析表明,该模型可以较好地描述网络故障因素间的因果关系,并可定量分析得出以太网出现故障的主要因素,可为网络故障领域的研究与探索提供参考.