混杂Petri-net的配电网多层级节点电压混杂控制

开发利用分布式可再生能源是推进“双碳”目标的重要举措之一,而由于分布式发电具有较强的波动性和不确定性,其规模化接入会导致低压配电网电压越限等问题。为此,提出一种基于混杂Petrinet的混杂控制方法。上层采用基于节点电压越限条件触发的变压器挡位智能切换控制策略,以实现大幅度电压越限的粗调;下层采用基于功率-电压灵敏度的虚拟电厂有功功率优化动态调节策略,以实现电压频繁越限的细调。该方法在挖掘利用低压配电网自身变压器以及分布式可调节资源聚合调节潜力的同时,大大节省配置治理设备的资金投入,对助推分布式新能源的规模化消纳具有重要意义。

基于Petri-net的机器人足球角色转换研究

文章在分析机器人足球的角色的基础上,提出了用Petri-net来描述角色转换的原理,该方法简洁明了,完全适用于机器人足球多协调决策系统。

基于Petri-Net的钢铁企业生态工业园仿真研究

钢铁行业是实现循环经济目标的重要环节。在对钢铁企业现有废弃物处理模式分析(以宝钢集团为例)的基础上,阐述了生态工业园模式的必要性。结合包钢生态园模式和相关研究,抽象出钢铁生态工业园物流简化模型。在此基础上,以该简化模型中的主要固体废弃物的处置为研究对象,应用Petri-Net就钢铁工业生态工业园模式进行仿真研究。仿真结果证明,生态园模式具有显著的经济、社会和环境效益,是实现循环经济的重要途径。

基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。

化工过程故障诊断的模糊概率Petri-net的研究

本文研究基于模糊与概率信息的模糊概率Petri net故障的诊断方法 ,概率信息用来解决问题冲突 ,模糊信息用来解决故障诊断不确定性并计算诊断的可靠性。在石油化工装置中的应用表明 。

基于MAS和Petri-net技术的新能源电网协调控制策略

为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态运行和逻辑切换的复杂性,构建了Multi-Agent系统(MAS),通过多Agent的交互作用来实现分布式协调控制策略。由于Petri-net模型是表述多模态运行系统的最有效工具之一,所以采用petr-net模型来描述各分布式单元的模态切换行为并以此设计其单元Agent模态切换控制策略。在此基础上,基于Multi-Agent系统框架在上层中心Agent中构建各分布式能源单元之间的模态协调切换控制策略,来实现整个微电网运行模态的有效切换。最后仿真验证了所提出的控制策略的有效性。

基于构件的Petri-net工作流建模方法

Petri-net是一种行之有效的工作流建模方法。随着工作流的发展,用Petri-net描述的工作流模型越来越复杂,越来越庞大。针对此问 题,该文引入构件的思想改善现有的Petri-net建模方法,利用构件的封装性、多态性、可复用性等特点,来增强Petri-net的建模能力,简化 Petri-net的模型结构。同时给出了两个模型实例。研究结果表明,与传统的Petri-net模型相比,该建模方法在提高描述能力、降低模型复杂 度、提高系统柔性方面有明显优点。

一种基于Petri-Net的新型MVC模式及实现

MVC(模型/视图/控制器)是一种应用广泛的设计模式,ERP是一种复杂的大型企业信息系统。阐述了MVC模式的原理及其主要应用方式,提出并实现了一种基于Petri-Net的新型MVC模式,能非常好地解决CS(Client/Server)环境下ERP系统具有的复杂的交互操作以及复杂的业务流程。

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.

基于面向对象Petri-net的LWF建模方法

设计工作流是一种非公平性的环形工作流(loop workflow,LWF),这种工作流模型增加了陷入活锁状态的风险,导致设计流程无法向下进行。针对设计工作流活锁问题,提出了基于面向对象Petri网的扩展工作流网。该方法设计了跃迁状态转移机制和虚拟托肯的网标识,使LWF从无限循环的活锁状态转变为可计数的有限循环迭代状态,同时给出了能够描述虚拟托肯标识的可达性分析方法。分析结果表明应用所提方法建立的弹箭设计工作流模型避免了活锁,且具有可达性。

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven.

A HYBRID PETRI-NET MODEL OF GRID WORKFLOW

In order to effectively control the random tasks submitted and executed in grid workflow,a grid workflow model based on hybrid petri-net is presented. This model is composed of random petri-net,colored petri-net and general petri-net. Therein random petri-net declares the relationship between the number of grid users' random tasks and the size of service window and computes the server intensity of grid system. Colored petri-net sets different color for places with grid services and provides the valid interfaces for grid resource allocation and task scheduling. The experiment indicated that the model presented in this letter could compute the valve between the number of users' random tasks and the size of grid service window in grid workflow management system.

基于身份认证的BACnet/IP分析与改进

为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。

船舶建造物资逆向物流流程优化

随着人们环保意识的增强和政府环境立法速度加快,逆向物流被社会各界越来越多人士所重视,而目前船舶建造物资逆向物流存在安全隐患、时间和储存成本较高、物资再利用度有待提高等问题,为实现船舶建造业降本增效,需对其逆向物流流程进行剖析和优化。将降低流程时间、减少流程中问题环节作为优化目标,应用Petri网络与六西格玛管理法建立DMAIC-Petri模型,随后基于ESIA等原则进行优化并提出改进建议。以高技术远洋客船建造危险废弃物为例,结果显示,优化后流程问题环节个数减少且流程完成时间降低了18.6%。研究表明该优化方法达到了优化目标,并为船舶建造物资逆向物流管理提供实际参考。

面向流程制造的数字孪生车间可视化监控系统研究

为了解决流程制造过程监控实时性差、准确性不足的问题,在数字孪生技术迅速发展且与制造业结合愈发紧密的背景下,提出基于生产要素数据、生产工艺流程与多工序设备实体对象的数字孪生车间可视化监控系统架构。从要素、状态、运行逻辑等多个维度对多工序耦合生产线实体对象进行孪生建模,基于OPC UA统一架构的数据采集传输,虚拟车间的实时驱动等关键技术,实现了流程制造设备状态、生产要素工艺全流程三维可视化监控。基于某流程制造企业制丝生产试验线开展了应用验证,为提升流程制造过程中全生产要素的预见性、联动性、自治性提供了方法和实现途径。

一种分层模糊Petri网风险评估方法

针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。

变电站变压器监测系统的研究

电力变电站是电力系统的核心组成部分,而变压器作为关键的电力设备,其运行状态对电网的稳定性和可靠性起着至关重要的作用。然而,变压器故障可能导致电力系统的严重问题,不仅影响电力供应的连续性,还可能对环境造成损害。因此,建立一套有效的监测系统,能够实时检测变压器的运行状况并预测潜在故障,对维护电力系统的安全和可靠性至关重要。研究首先利用Petri网建立传统变电站变压器监测系统的模型,然后分析其中存在的问题,通过增加相关库所和变迁,重新设计一个优化后的监测系统模型,这一模型允许更快速的故障诊断和更精准的运行状态监测,从而提高电力系统的可靠性。最后,在PIPE仿真软件中对优化后的模型进行实验仿真,验证此优化后模型的可靠性和有效性。

矿井电气设备故障响应建模及优化

构建矿井下电气设备故障响应模型.建立矿井下电气设备故障响应模型,增添若干个相关库所和变迁,合理调整模型中的行为轮廓与流程,优化矿井下电气设备故障响应模型.PIPE仿真软件的仿真结果显示,此模型可靠且有效.

基于FCPN的离散制造系统质量风险分析评估研究

针对离散制造系统随机性、多样性以及复杂性的特点,高效、准确地识别系统质量风险因素并进行质量风险量化评估是制定相应质量控制活动、提高产品质量的关键。为此,首先构建模糊着色Petri网的产品质量风险评估模型。然后,确定模糊推理规则,并通过现场获取的置信度经验值进行模糊推理,计算得出中间库所和终止库所的置信度。最后,以汽车顶盖冲压工艺过程为例进行分析,验证了该模型的合理性,并且可推广应用到其他同类离散制造过程。