作者:潘春荣; 付锦超 期刊:《计算机集成制造系统》 2019年第12期
在半导体制造中,组合设备出现故障模块是晶圆质量受损的因素之一。考虑到晶圆重入加工工艺更复杂,研究了可重入双臂组合设备并行模块出现一个模块故障后的有效调度问题。建立了相应Petri网模型,描述了具有逗留时间约束和并行模块的双臂组合设备重入加工过程,并分析了系统稳态调度和暂态调度的时间特性,提出了系统稳态调度的有效算法;采用了虚拟晶圆的方式,提出了系统故障前稳态调度过渡至故障后稳态调度的有效运行控制策略,使系统...
作者:方舟; 陈阳; 李锐; 马超 期刊:《科技创新与应用》 2020年第05期
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。
作者:张诚; 刘守臣 期刊:《企业经济》 2020年第01期
华东交通大学交通运输与物流学院;华东交通大学高铁与区域经济发展研究中心;福建商学院工商管理学院;摘要电商的快速发展,为冷链产品开辟了新的流通路径,冷链电商市场成为新的增长点。同时,食品安全问题已成为人们关注的焦点,食品若不安全会影响社会经济的发展,威胁人们的身心健康。本文基于Petri(佩特里)网理论,围绕区块链技术在物流溯源领域应用的实际情况,分析了冷链溯源系统的整体业务流程,建立了冷链溯源系统的Petri网模型,利...
作者:叶金凤; 褚夫飞; 吴彦 期刊:《信息周刊》 2018年第15期
随着人民生活水平的不断提高,电力已经渐渐成为人们生活不可或缺的一部分。如果电网引发故障或者被威胁,不能被及时地进行故障处理,将对人们生活的各个领域产生影响,这些一系列故障解决的前提是故障诊断,因此本文研究一种分层故障诊断方法,该方法能提高故障的诊断准确度。
作者:翟鹏珺; 王丽丽; 刘祥伟 期刊:《湖北师范大学学报·哲学社会科学版》 2017年第01期
目前业务流程模型优化是业务流程管理的核心内容之一,对于购物支付流程模型的优化是涉及顾客和商家利益的关键。目前已提出了一些相关的支付流程模型优化方法,但较少综合考虑各种类型的支付方式,以优化支付模型使得购物最大利益化为目的,提出了基于Petri网的购物支付流程模型优化分析方法。首先结合支付的实际情况,通过分析流程模型中活动间间接的交互关系,查找源流程模型存在的问题。然后在保证支付行为合理性的情况下,通过增加相...
作者:段瑞; 方欢; 詹悦 期刊:《电子学报》 2019年第12期
为了提高从企业模型库中检索模型的效率,提出一种基于加权流关系的相似性算法,记作WF.首先,本文设计加权流关系集的生成算法,生成算法通过广度优先搜索方法遍历除输出库所外的所有节点及流关系,为每个流关系唯一分配权重,生成加权流关系集;其次,WF算法基于加权流关系集计算出加权变迁集,并依据WF相似性定义计算相似性;最后,通过实验及算法的时间复杂度分析比较表明:算法是正确且唯一确定结果的,且WF算法具有良好的性能.
作者:万军; 刘玉婷 期刊:《常州大学学报·自然科学版》 2020年第01期
针对现有的卷缩率测试仪产品存在着结构复杂和成本高的问题,在深入分析变形丝卷缩性能测试流程的基础上,设计了以ARM为核心的全自动卷缩率测试仪控制系统硬件结构,提出了一类新的Petri网-广义同步自控网系统(GSSN)的形式化定义,讨论了一种新的基于GSSN对控制流程进行建模与分析的方法。为了弥补传统Petri网模型存在的不易与外部事件同步和描述算法简单等不足,该方法充分利用了GSSN的变迁与外部事件关联以及弧权值受库所控制的特性...
作者:张黎元; 黄潇潇; 张杰; 徐勇; 孔祥玉 期刊:《电力系统及其自动化学报》 2019年第10期
社会经济的发展对快速找出故障源并采取相应措施提出了更高的要求。首先提出了一种基于D-PMU信息和Petri网的有源配电网故障诊断方法,基于多点D-PMU的高频全采样和配合故障信息数据,提取所分析时刻的故障特征向量,并通过可疑故障元件库和故障诊断模型,采用Petri网技术进行故障诊断,获得故障状态。然后考虑实际电网中保护动作具体形式和整定配合原则,给出了基于有源配电网的故障特征获取元件故障模型以及拒动、误动的判定规则的方法...
作者:崔振辉; 赵剑慧; 于洋; 马草原 期刊:《自动化与仪器仪表》 2019年第10期
电力行业内外部环境的变化,对电力企业的运营质量以及效率效益提出了更高的要求。针对供电企业亟需全面提高服务,为企业发展找准新方向的问题,文中阐述了供电企业如何利用现有的战略运营过程监控体系,深化指标监控体系。利用Petri网描述了公司各部分关系,将公司各个运营成分抽象为数据流图,展示了如何利用Petri网在对公司运营进行建模。进一步通过图论算法,对建立的模型进行组合和关联,将公司的运营关系组成一个完整的体系。总结出...
作者:潘春荣; 熊文清 期刊:《控制理论与应用》 2019年第10期
在半导体晶圆制造过程中,驻留时间延迟过长对晶圆质量具有消极影响.本文研究单臂组合设备稳态调度中如何合理地分配机械手等待时间,抵消驻留时间延迟的问题.首先,采用Petri网模型描述晶圆制造过程,分析了单臂组合设备稳态调度的时间特性,获得了稳态下工序驻留时间延迟计算表达式.其次,通过解构机械手等待时间对驻留时间延迟的影响机理,提出了一种机械手等待时间分配优先级规则.进一步,将虚拟瓶颈工序用于辅助分配机械手等待时间,结...
作者:朱敬聪; 朱晓光; 关磊 期刊:《消防科学与技术》 2019年第09期
城市型炼厂具有"企业性"及"城市性"的双重特性,应急系统也与一般的石化企业不同,根据现有的应急系统相应流程,将其划分为4个子集,即预警工作流、辅助决策工作流、应急处置工作流、后期处置工作流,并对其进行分析完善。基于相应原则将完善优化后的应急系统进行Petri网模型构建,为城市型炼厂提升应急能力提供支撑。
作者:张漫; 李晶莹; 严胡勇; 王梅; 范广玲 期刊:《计算机技术与发展》 2020年第01期
油藏受天然气的侵入,就会产生油气分异的现象:天然气会萃取出油藏中的轻组分,造成凝析油藏或轻质油藏;此外,油藏中的重组分脱出,形成沉淀,直接导致储层的渗透率降低,从而影响油气的分布规律。针对油藏中油气分布规律复杂的问题,在传统油层含油判别分析的基础上,提出了一种基于粗糙集和Petri网的油藏建模方法。应用粗糙集的知识约简对油层含油识别相关的岩层厚度、泥质含量等6个指标进行属性选择,提取最简规则,建立Petri网模型,根据...
作者:李娟; 方贤文; 王丽丽; 刘祥伟 期刊:《计算机科学》 2020年第01期
业务流程事件日志有时包含混沌活动,混沌活动是独立于流程状态且不受流程约束,会随时随地发生的一类活动。混沌活动的存在会严重影响业务流程挖掘的质量,因此过滤混沌活动成为业务流程管理的关键内容之一。目前,混沌活动的过滤方法主要是从事件日志中过滤不频繁行为,以高频优先为基础的过滤方法并不能有效地过滤日志中的混沌活动。为了解决上述问题,提出了一种基于日志自动机和熵的方法来过滤日志中的混沌活动。首先,根据活动的直...
业务流程模型优化是业务流程管理的核心内容之一,本文基于Petri网的变迁发生规则和行为轮廓相关理论,分析网购退换货系统中各任务间的行为弱序关系,并且构建系统模型,然后对模型进行优化分析,优化后的模型保证了保险公司赔付运费的合理性、实时性。最后在PIPE软件平台上进行了仿真实验,结果显示了优化前后模型满足有界性和安全性。
作者:张国宗; 尤洋洋 期刊:《价值工程》 2019年第35期
近年来建筑业发展迅速,但是安全生产管理却没有跟上建筑行业转型升级的步伐,我国建筑行业安全生产形势一直面临严峻考验,有必要对建筑安全生产管理工作进行研究,适应新常态的发展,丰富和完善安全生产管理理论,文中在论述安全生产韧性管理理论的基础上,提出了基于Petri网的安全生产韧性管理理念下的相关风险建模评估方法,探讨了目前在安全生产韧性管理研究中存在的一些问题,如何建立全面有效的安全生产韧性管理风险评估体系还需要深...
作者:朱正伟; 祝磊; 饶鹏 期刊:《现代电子技术》 2019年第20期
将虚拟现实技术运用到工业培训中可以弥补传统工业培训指导性不强、耗费资源度大等缺点。文中以工业模具装配为例,利用改进后的预分割OBB碰撞检测算法结合Petri网对模具的装配序列和装配实现方法进行了研究,描述了基于HTC Vive虚拟现实头盔和Unity3d,3ds MAX等软件开发的虚拟现实模具装配系统。最后,通过装配系统训练模块对面向工业培训中的虚拟现实交互训练功能的研究和实现进行详细的描述,结果表明虚拟现实装配系统的研究对工业...
作者:陈军; 刘鑫; 王利平; 郑中; 叶翔; 任杰 期刊:《中国测试》 2019年第10期
针对传统故障诊断由于未考虑在智能变电站保护或控制故障过程中的信息关联而导致只能进行设备物理层面或通信链路故障诊断与定位等问题,文章对反应保护或控制功能的信息集合进行梳理,分别建立包含事件报文序列和物理设备状态等因素的保护与控制功能Petri模型与能够推理出设备各子功能状态的Petri子网,并通过网络报文获知故障时各信息状态,从而进行基于Petri网模型的保护与操作控制故障诊断与故障位置推理,其诊断与定位结果能够反映...
作者:谈芝梦; 潘理; 王希; 李文彬; 蒋军强; 杨勃 期刊:《湖南理工学院学报·自然科学版》 2019年第01期
针对工作流网人工建模容易出错、工作流分析方法缺乏大规模测试案例等问题,提出了一种自动构建工作流网的生成算法.该算法通过随机节点分组、全连接和最少连接、AND和OR类型转换等方式,自动生成具有自由选择性、安全性和无环性质的工作流网.算法最坏情况下的时间复杂度为O(mn/k),其中m为库所数,n为变迁数,k为库所分组数.同时,基于Matlab平台研制工作流网生成工具,可快速生成无环、自由选择和安全的工作流实例,为工作流分析方法提供...
作者:纪浩然; 周春泉; 蒋丹; 史静; 许贤杰; 刘苏云 期刊:《智慧电力》 2014年第06期
在Petri网模型构建的操作票知识库的基础上,利用Petri网的动态行为设计相应推理机制,使推理过程形式化,实现推理过程与规则表示的完全分离,提高了电网调度操作票专家系统的通用性和灵活性;同时,改进后的推理方法通过改变Petri网的运行规则和引入抑制弧,并利用Petri网技术对操作任务进行分解,对子任务建立基本Petri网,简化了推理过程,提高了推理效率,解决了"状态组合爆炸"问题。实例表明,改进Petri网的推理机制可有效提高操作票专...
作者:毛瑞龙; 李春华 期刊:《智慧电力》 2018年第10期
微电网是未来电网发展的主要方向之一。为了实现微电网的经济运行,对由多微源组成的孤立型微电网进行研究,提出了一种基于petri网和粒子群算法的微电网优化运行策略。首先,针对微电网运行逻辑和模态切换的复杂性,运用petri网模型描述各分布式微源的模态切换和控制过程。然后,建立微电网经济运行的目标函数和约束条件,并运用粒子群算法求解微网中各分布式单元的投切状态和具体出力。最后,通过1个典型的孤立型微电网进行分析...