期刊文献+
共找到1,238篇文章
< 1 2 62 >
每页显示 20 50 100
基于矩阵方法的有界Petri网系统的能观性分析 被引量:2
1
作者 高娜 韩晓光 +1 位作者 陈增强 张青 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期71-78,共8页
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方... Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现. 展开更多
关键词 离散事件动态系统 能观性 有界petri网系统 petri 矩阵的半张量积
在线阅读 下载PDF
基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析
2
作者 夏传良 王壮壮 郭脉波 《计算机应用与软件》 北大核心 2024年第9期279-287,共9页
为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合... 为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。 展开更多
关键词 petri 系统建模 抑制弧 组合 活性
在线阅读 下载PDF
SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法 被引量:3
3
作者 马梓刚 麻荣宽 +3 位作者 李贝贝 谢耀滨 魏强 彭慜威 《计算机科学》 CSCD 北大核心 2024年第10期380-390,共11页
随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文... 随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。 展开更多
关键词 风险评估 petri 工业控制系统 安全一体化 功能安全 信息安全
在线阅读 下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析 被引量:1
4
作者 张凯文 刘关俊 +4 位作者 孙彦韬 李晓锋 关健 解毅 顾斌 《软件学报》 EI CSCD 北大核心 2024年第9期4123-4140,共18页
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应... 已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用. 展开更多
关键词 实时嵌入式多核系统 优先级时间petri 可达图 任务依赖图 最坏执行时间(WCET) 死锁
在线阅读 下载PDF
基于执行器冲突预防的平行Petri网控制系统设计
5
作者 林鑫杰 罗继亮 +1 位作者 李旭航 叶剑虹 《计算机集成制造系统》 EI CSCD 北大核心 2024年第2期601-609,共9页
为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法... 为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。 展开更多
关键词 petri 离散事件系统 智能体 冲突预防
在线阅读 下载PDF
基于Petri网的动态可重构离散事件系统重构方案设计
6
作者 张佳峰 李志翔 +1 位作者 张铎译 李志武 《计算机集成制造系统》 EI CSCD 北大核心 2024年第12期4168-4178,共11页
动态可重构离散事件系统(DRDES)是一种能够在运行过程中改变结构或参数的特殊离散事件系统(DES)。已知重构起始与目标状态,DRDES的一次完整系统级重构过程可以由一串包含一系列普通事件与重构事件的事件序列描述。不恰当的重构方案可能... 动态可重构离散事件系统(DRDES)是一种能够在运行过程中改变结构或参数的特殊离散事件系统(DES)。已知重构起始与目标状态,DRDES的一次完整系统级重构过程可以由一串包含一系列普通事件与重构事件的事件序列描述。不恰当的重构方案可能导致系统死锁甚至造成严重后果。因此,聚焦DRDES中的增加型重构事件类型,基于Petri网描述DRDES的动态行为,以有向弧为重构最小执行单元,形式化定义了DRDES最小执行成本重构方案设计问题,并提出了相应的重构方案自动求解算法。最后,将该方法应用于一个可重构制造系统的重构方案设计中,实验结果证明了本工作的有效性。 展开更多
关键词 动态可重构系统 离散事件系统 petri 重构方案设计
在线阅读 下载PDF
基于解释Petri网的新型CPS分解方法
7
作者 陈宇浩 屠翰乾 相东明 《计算机科学》 北大核心 2025年第4期49-53,共5页
Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;... Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;而依赖监控器的分解方法则存在较大的通信开销。为解决这些问题,综合现有分解方法的优势,提出了一种基于解释Petri网的CPS分解方法。该方法通过约束条件逐步分解网络,生成独立的状态机组件,有效缩小了模型规模。同时,提出了一种新的信号同步机制替代传统的监控器方案,显著降低了同步开销。实验结果表明,所提方法在大多数测试案例中的分解时间为O(n^(2)),远优于传统方法的指数级复杂度O(2^(n)),且生成的组件集合也更加简洁。 展开更多
关键词 信息物理系统 petri 状态机组件 可编程门阵列 系统分解
在线阅读 下载PDF
基于标签时间Petri网最小初始状态的实时系统初始资源配置
8
作者 王琛 黎良 刘斌 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第11期2103-2111,共9页
针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标... 针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标识的计算.其次,介绍一种基于路径(即变迁序列)的修正状态类图(MSCG).通过求解由路径MSCG的时间约束构建的线性规划问题,判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致.在此基础上,求出与时间标签序列相一致的极小初始状态集,并找出极小初始状态集中token总数最少的最小初始状态.最后,利用实例验证了所提方法的可行性和有效性. 展开更多
关键词 离散事件系统 资源配置 时间petri 状态类图 状态估计
在线阅读 下载PDF
基于时间Petri网的电-气综合能源系统薄弱环节辨识 被引量:1
9
作者 陶淳逸 《电测与仪表》 北大核心 2024年第5期1-8,共8页
为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述... 为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述电-气系统故障传播的动态特性和时序差异,将级联危害评价计算融入到Petri网的运行过程中,寻找引发级联失效的关键环节,以IEEE30节点和25节点天然气系统组成的电-气耦合系统仿真分析,验证所提方法的有效性。 展开更多
关键词 时间petri 薄弱环节 级联故障 电-气综合能源系统
在线阅读 下载PDF
Petri网精细化操作及其在系统设计中的应用 被引量:16
10
作者 夏传良 焦莉 陆维明 《软件学报》 EI CSCD 北大核心 2006年第1期11-19,共9页
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计... 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值. 展开更多
关键词 petri 精细化操作 活性 有界 系统设计
在线阅读 下载PDF
基于Petri网的RGVs系统中环路死锁研究 被引量:20
11
作者 吴长庆 罗键 +2 位作者 陈火国 庄进发 彭彦卿 《计算机科学》 CSCD 北大核心 2009年第4期250-253,260,共5页
为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Ti med Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。... 为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Ti med Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。 展开更多
关键词 自动小车存取系统 RGVs系统 环路死锁 petri
在线阅读 下载PDF
Petri网共享P型子网合成及其在系统设计中的应用 被引量:8
12
作者 夏传良 鞠彦兵 李盛恩 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第2期355-360,404,共7页
针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推... 针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。 展开更多
关键词 petri 合成 系统设计 有界 活性
在线阅读 下载PDF
基于对象Petri网技术的电力系统故障恢复方法 被引量:31
13
作者 马骞 杨以涵 +1 位作者 刘文颖 张东英 《电网技术》 EI CSCD 北大核心 2005年第3期23-28,共6页
应用Petri网技术求解电力系统故障恢复问题具有模型直观、过程清晰等优点,还能够描述恢复过程中的并发与资源竞争问题。但在利用Petri网对大系统建模和分析时会遇到组合爆炸问题,从而限制了它的应用范围。文章构建了基于面向对象Petri... 应用Petri网技术求解电力系统故障恢复问题具有模型直观、过程清晰等优点,还能够描述恢复过程中的并发与资源竞争问题。但在利用Petri网对大系统建模和分析时会遇到组合爆炸问题,从而限制了它的应用范围。文章构建了基于面向对象Petri网技术的电力系统故障恢复计划生成算法,降 低了大系统Petri网模型的维数,简化了建模和求解工作。通过分析给出了算法的对象划分、结构封装、对象间的消息传递关系以及图形化的建模;所设计的对象结构及对象关系保证了系统的安全性;引入了带有寻优意义的冲突消解策略,保证在有限资源的条件下得到优化的恢复方案;利用回溯策略解决了死锁问题。最后结合算例阐述了具体的技术方案。算例结果表明了该方法的有效性。 展开更多
关键词 电力系统 故障恢复 系统建模 petri 面向对象 系统分析
在线阅读 下载PDF
基于排队Petri网的服务系统性能建模与分析方法 被引量:18
14
作者 顾军 罗军舟 +1 位作者 曹玖新 李伟 《计算机学报》 EI CSCD 北大核心 2011年第12期2435-2455,共21页
如何有效评估服务系统的性能表现是解决服务对动态网络环境适配性的关键.然而,基于互联网的服务系统的规模尺度和复杂程度不断提高,使得服务系统的性能建模和分析越来越困难.通过分析服务系统的执行过程,提出了一种基于排队Petri网的性... 如何有效评估服务系统的性能表现是解决服务对动态网络环境适配性的关键.然而,基于互联网的服务系统的规模尺度和复杂程度不断提高,使得服务系统的性能建模和分析越来越困难.通过分析服务系统的执行过程,提出了一种基于排队Petri网的性能建模和分析方法.该方法将服务系统运行过程分为服务准备和服务提供两个阶段.服务准备阶段被建模为多层Web系统,刻画了浏览、选择、组合和注册4种行为的性能表现.服务提供阶段被建模为组合服务,重点讨论了交互关系、节点失效和恢复机制对组合服务执行性能的影响,并在此基础上建立组合服务在集中和分散两种执行方式下的性能模型.最后,采用QPME工具仿真和比较提出的模型在不同配置下的性能表现.结果表明,该方法在定量评估服务系统性能时具有一定的优越性. 展开更多
关键词 排队petri 服务系统 组合服务 性能 失效
在线阅读 下载PDF
一种基于Petri网和概率信息的电力系统故障诊断方法 被引量:81
15
作者 孙静 秦世引 宋永华 《电力系统自动化》 EI CSCD 北大核心 2003年第13期10-14,23,共6页
提出了一种基于Petri网和概率信息的面向电力系统故障诊断问题的建模和诊断分析方法。逻辑检验和实例仿真证实了所给出的方法的可行性和有效性 ,并符合工程实用性要求 ,可在电力系统紧急控制等方面发挥技术支持作用。
关键词 故障诊断 petri 电力系统 概率信息
在线阅读 下载PDF
模糊PETRI网在电力系统故障诊断中的应用 被引量:86
16
作者 孙静 秦世引 宋永华 《中国电机工程学报》 EI CSCD 北大核心 2004年第9期74-79,共6页
在电力系统中,如何处理大量不完全且不确定的继电保护及断路器动作信息,从而准确地进行故障诊断,一直是研究人员所关心的问题。该文利用具有较好的并行处理性、快速性及容错性的模糊Petri网来处理电力系统故障诊断中的不确定动作信息,... 在电力系统中,如何处理大量不完全且不确定的继电保护及断路器动作信息,从而准确地进行故障诊断,一直是研究人员所关心的问题。该文利用具有较好的并行处理性、快速性及容错性的模糊Petri网来处理电力系统故障诊断中的不确定动作信息,给出了一种新的故障诊断分析方法,可实现准确而有效的故障诊断功能。文中首先介绍了模糊Petri网的结构和定义;然后建立了故障诊断的模糊Petri网模型;最后通过实例数据验证了此方法的有效性和可行性。 展开更多
关键词 电力系统 故障诊断 模糊petri 输电线路
在线阅读 下载PDF
基于一种混合Petri网的列车运行系统的建模与分析 被引量:20
17
作者 叶阳东 程少芬 +1 位作者 王旭 贾利民 《铁道学报》 EI CAS CSCD 北大核心 2009年第5期42-49,共8页
针对列车运行系统中连续变量和离散事件的混合描述问题,提出一种混合Petri网建模方法。相对于已有的列车运行系统建模方法,该方法用连续库所和连续变迁描述系统中连续变量的变化过程;采用关联方程表示连续托肯中相应的连续属性的变化;... 针对列车运行系统中连续变量和离散事件的混合描述问题,提出一种混合Petri网建模方法。相对于已有的列车运行系统建模方法,该方法用连续库所和连续变迁描述系统中连续变量的变化过程;采用关联方程表示连续托肯中相应的连续属性的变化;定义相对应的变迁触发规则表示连续变量、离散事件、人参与等多种因素的相互作用。由列车运行系统的混合Petri网模型分析表明,该方法可以有效地描述连续变量与离散事件的交互,并能够进行列车运行过程中的速度限值、监测点距离、离散事件发生的时间区间的分析。由于列车运行系统是一类典型的混杂系统,该方法具有普适性。 展开更多
关键词 列车运行 混杂系统 混合petri 关联方程
在线阅读 下载PDF
基于模糊Petri网的知识表示方法在变压器故障诊断专家系统中的应用 被引量:21
18
作者 王蓓蓓 郭基伟 +1 位作者 谢敬东 唐国庆 《电力系统及其自动化学报》 CSCD 2003年第1期74-77,共4页
本文给出了用模糊 Petri网模型来表示变压器故障诊断专家系统中模糊产生式知识库的方法 ,在此模型基础上 ,给出了有效的推理算法 。
关键词 变压器 故障诊断 模糊petri 知识表示 专家系统
在线阅读 下载PDF
Petri网在电力系统中的应用 被引量:13
19
作者 林振智 文福拴 +1 位作者 钟志勇 黄杰波 《电力系统及其自动化学报》 CSCD 北大核心 2007年第5期14-23,共10页
介绍了Petri网的基本原理及其在电力系统中的应用。通过收集和整理国内外相关学术期刊和会议论文集中已发表的数十篇有关Petri网在电力系统中应用研究方面的学术论文,按故障诊断、系统恢复、配电系统重构、机组组合、网络拓扑分析、可... 介绍了Petri网的基本原理及其在电力系统中的应用。通过收集和整理国内外相关学术期刊和会议论文集中已发表的数十篇有关Petri网在电力系统中应用研究方面的学术论文,按故障诊断、系统恢复、配电系统重构、机组组合、网络拓扑分析、可靠性分析、继电保护建模与混杂电力系统分析等方面分别进行了分类述评。从现有的研究工作情况来看,Petri网在电力系统中的应用涉及面很广,并受到了比较普遍的重视。 展开更多
关键词 电力系统 petri 故障诊断 系统恢复 配电系统重构
在线阅读 下载PDF
基于模糊概率Petri网系统的故障诊断仿真研究 被引量:13
20
作者 韩光臣 孙树栋 +1 位作者 司书宾 陈东明 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期520-525,共6页
利用面向对象思想、高级Petri网技术、模糊及概率理论,建立了一种描述复杂系统故障关系的模型。着重介绍了基于该模型的故障诊断仿真控制策略,包括控制层策略和操作层策略。讨论了该模型的网元素实现,定义了5个库所类、5个变迁类、1个... 利用面向对象思想、高级Petri网技术、模糊及概率理论,建立了一种描述复杂系统故障关系的模型。着重介绍了基于该模型的故障诊断仿真控制策略,包括控制层策略和操作层策略。讨论了该模型的网元素实现,定义了5个库所类、5个变迁类、1个模糊概率Petri对象类、1个模糊概率Petri对象类的派生类和3个Token对象类,并给出了基于该模型的故障诊断仿真算法。最后,介绍了基于该模型的故障诊断仿真系统设计,并以简单的仿真实验验证了模型及仿真算法的适用性。 展开更多
关键词 模糊概率petri系统 故障诊断 仿真 控制
在线阅读 下载PDF
上一页 1 2 62 下一页 到第
使用帮助 返回顶部