期刊文献+
共找到471篇文章
< 1 2 24 >
每页显示 20 50 100
Towards a New Framework for Building a Whole User-Defined System from a Colored Petri Networks
1
作者 Zeddari Abderrazzak Ettalbi Ahmed 《通讯和计算机(中英文版)》 2015年第4期184-190,共7页
关键词 着色petri 整体框架 用户定义 系统 有色petri 翻译过程 访问控制 设计
下载PDF
基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证
2
作者 王玮琦 任晨宇 +1 位作者 陈黎洁 侯卓璞 《铁道通信信号》 2024年第3期61-68,共8页
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立... 为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明:建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。 展开更多
关键词 全自动无人驾驶 自动化等级 列车停站场景 petri 形式化建模 形式化验证
下载PDF
高校实验室危险化学品全过程管理Petri网模型及其应用
3
作者 阳富强 陈星霖 +1 位作者 刘春祥 余龙星 《化工高等教育》 2023年第3期92-99,共8页
针对高校实验室危险化学品管理中存在的化学药剂种类多、监管周期长、流转环节多、使用过程动态变化等问题,文章在分析实验室危险化学品全过程管理流程的基础上,构建了高校实验室危险化学品全过程管理Petri网模型。计算分析和仿真验证... 针对高校实验室危险化学品管理中存在的化学药剂种类多、监管周期长、流转环节多、使用过程动态变化等问题,文章在分析实验室危险化学品全过程管理流程的基础上,构建了高校实验室危险化学品全过程管理Petri网模型。计算分析和仿真验证结果表明,该模型具有有界性、可达性、安全性和活性等特性,是合理且有效的,可为高校实验室危险化学品全过程管理体系和溯源体系构建提供支撑。 展开更多
关键词 高校实验室 petri 危险化学品 全过程管理 PIPE软件
下载PDF
基于Petri网的运输流程系统建模优化
4
作者 孙霞 邢金库 《佳木斯大学学报(自然科学版)》 CAS 2023年第5期5-9,共5页
通过Petri网对货拉拉运输流程的建模进行了优化,对传统货拉拉运输流程进行建模,并发现模型中存在一些不足,针对其不足进行相应的优化,加入了物品分类别运输和订单异常问题处理的方法,对其运输中产生纠纷的现象提出了一种解决方法。Petr... 通过Petri网对货拉拉运输流程的建模进行了优化,对传统货拉拉运输流程进行建模,并发现模型中存在一些不足,针对其不足进行相应的优化,加入了物品分类别运输和订单异常问题处理的方法,对其运输中产生纠纷的现象提出了一种解决方法。Petri网作为一种用于描述离散的、分布式系统的数学建模工具,它在货拉拉运输中的运用不仅提高了运输的效率,也同时提高了客户的满意度和服务的质量。将所构建的模型在PIPE软件中进行仿真,验证了该优化的合理性和可行性。 展开更多
关键词 petri 运输 建模流程 PIPE仿真
下载PDF
基于改进的方向性加权模糊Petri网配电网故障诊断 被引量:2
5
作者 闫丽梅 徐伟丽 徐建军 《现代电力》 北大核心 2023年第3期399-407,共9页
为提高配电网保护动作信息丢失时故障诊断的准确率及容错性,提出了基于改进的方向性加权模糊Petri网配电网故障诊断方法。首先,考虑故障发生时近后备保护对可疑故障元件故障诊断的影响,对可疑故障元件的各个故障蔓延方向进行建模;其次,... 为提高配电网保护动作信息丢失时故障诊断的准确率及容错性,提出了基于改进的方向性加权模糊Petri网配电网故障诊断方法。首先,考虑故障发生时近后备保护对可疑故障元件故障诊断的影响,对可疑故障元件的各个故障蔓延方向进行建模;其次,在专家经验的基础上采用随机数对模型输入权值进行随机赋值;最后,在保护动作信息丢失时,跟踪改变可疑故障元件保护未动作的可信度取值,并分析该故障诊断方法的适应性与容错性。仿真结果表明,所提基于改进的方向性加权模糊Petri网配电网故障诊断模型在信息不完备或者保护及断路器拒动时,均具有较高的故障诊断准确率。 展开更多
关键词 配电网 故障诊断 方向性加权模糊petri 容错性
下载PDF
基于Petri网的无人机可充电传感器网络优化
6
作者 秦怀宇 白雪 +1 位作者 赵不贿 徐雷钧 《控制工程》 CSCD 北大核心 2023年第9期1575-1584,共10页
为解决地面移动充电车难避障、易受干扰,以及数据收集受充电时间影响大的问题,提出包含一架数据收集无人机(unmanned aerial vehicle,UAV)和多架充电无人机的网络架构。首次提出广义同步连续自控Petri网系统(generalized synchronizing ... 为解决地面移动充电车难避障、易受干扰,以及数据收集受充电时间影响大的问题,提出包含一架数据收集无人机(unmanned aerial vehicle,UAV)和多架充电无人机的网络架构。首次提出广义同步连续自控Petri网系统(generalized synchronizing continuous cyber Petri net system,GSCCPNS),用于建立无人机的能量传输和运动控制模型,从可视化和数学两方面刻画网络的决策控制、能量流动和飞行轨迹。首先,利用等边三角形簇头覆盖法确定网络锚节点数量和节点总体能耗。然后,为了使无人机充电收益最大化,在传统模拟退火算法的基础上,引入局部搜索和交叉算子,并结合Petri网提出Petri模拟退火(Petri simulated annealing,Petri-SA)算法。大规模仿真表明,死节点比例降低11%~26%,飞行能耗降低7%~17%。 展开更多
关键词 可充电传感器网络 无人机 petri petri模拟退火算法
下载PDF
基于赋色Petri网的反辐射导弹对雷达毁伤效率评估建模 被引量:1
7
作者 王轩 《火力与指挥控制》 CSCD 北大核心 2023年第1期176-180,186,共6页
针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征... 针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征量,采用反演特征分析方法,构建雷达毁伤效率大数据分析模型,并结合大数据参数融合和特征分析结果,求解反辐射导弹对雷达毁伤效率评估模型,将输出的评估信息传输至Web界面,实现反辐射导弹对雷达毁伤效率自动化评估。测试结果表明,采用该方法进行反辐射导弹对雷达毁伤效率评估建模的可靠性较高,评估效能较好。 展开更多
关键词 赋色petri 反辐射导弹 雷达 毁伤效率
下载PDF
A Parametric Colored Petri Net Model of a Switched Network 被引量:2
8
作者 Dmitry A. Zaitsev Tatiana R. Shmeleva 《International Journal of Communications, Network and System Sciences》 2011年第1期65-76,共12页
A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-lik... A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed. 展开更多
关键词 SWITCHED network COLORED petri NET PARAMETRIC Model network Response Time
下载PDF
Capacitated stochastic coloured Petri net-based approach for computing two-terminal reliability of multi-state network 被引量:3
9
作者 Tao Zhang Bo Guo 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第2期304-313,共10页
Classical network reliability problems assume both net- works and components have only binary states, fully working or fully failed states. But many actual networks are multi-state, such as communication networks and ... Classical network reliability problems assume both net- works and components have only binary states, fully working or fully failed states. But many actual networks are multi-state, such as communication networks and transportation networks. The nodes and arcs in the networks may be in intermediate states which are not fully working either fully failed. A simulation ap- proach for computing the two-terminal reliability of a multi-state network is described. Two-terminal reliability is defined as the probability that d units of demand can be supplied from the source to sink nodes under the time threshold T. The capacities of arcs may be in a stochastic state following any discrete or continuous distribution. The transmission time of each arc is also not a fixed number but stochastic according to its current capacity and de- mand. To solve this problem, a capacitated stochastic coloured Petri net is proposed for modelling the system behaviour. Places and transitions respectively stand for the nodes and arcs of a net- work. Capacitated transition and self-modified token colour with route information are defined to describe the multi-state network. By the simulation, the two-terminal reliability and node importance can be estimated and the optimal route whose reliability is highest can also be given. Finally, two examples of different kinds of multi- state networks are given. 展开更多
关键词 two-terminal reliability multi-state network petri net (PN) simulation node importance.
下载PDF
基于Petri网的配电网规划工作流模型 被引量:1
10
作者 徐沛东 罗宗杰 +2 位作者 周艳伟 郝鑫 廖文娟 《自动化技术与应用》 2023年第12期143-145,189,共4页
结合配电网规划工作实际情况,充分利用工作流技术,建立一套适用于配电网规划工作的Petri网模型。该模型可以清晰地展示配电网规划过程中各个业务环节之间的相关性,将整个配电网规划过程流程化,可以有效地协助配电网规划人员快速熟悉、... 结合配电网规划工作实际情况,充分利用工作流技术,建立一套适用于配电网规划工作的Petri网模型。该模型可以清晰地展示配电网规划过程中各个业务环节之间的相关性,将整个配电网规划过程流程化,可以有效地协助配电网规划人员快速熟悉、掌握业务流程,快速提升配电网规划业务水平,为实现配电网规划工作业务的信息化管理打下基础。 展开更多
关键词 petri 配电网规划 项目库 工作流 信息化
下载PDF
改进Petri网故障诊断算法的信道故障诊断与处理 被引量:1
11
作者 朱铝芬 徐媛媛 《计算机测量与控制》 2023年第6期6-11,共6页
为加强通信信道的安全性,及时发现信道出现的故障和异常情况,该研究基于Petri网络模型设计出信道故障诊断系统,并利用时间标签和颜色集对Petri网络模型进行改进,使其更加全面表示出系统信道的动态行为;设计出动态探测器,与诊断模型共同... 为加强通信信道的安全性,及时发现信道出现的故障和异常情况,该研究基于Petri网络模型设计出信道故障诊断系统,并利用时间标签和颜色集对Petri网络模型进行改进,使其更加全面表示出系统信道的动态行为;设计出动态探测器,与诊断模型共同进行故障诊断,采用FPGA与ARM结合的硬件设计方式,并加入了低运算放大器降低系统中的噪声;采用特征生成卷积神经网络构建信道故障预测模型,利用对抗生成网络学习故障样本的真实分布,并生成新的样本数据进行模型的训练;实验结果显示该研究系统的故障检测时间最短,故障预测准确率最高为99.7%。 展开更多
关键词 petri网络模型 信道故障诊断 动态探测器 低运算放大器 特征生成卷积 故障预测
下载PDF
混杂Petri-net的配电网多层级节点电压混杂控制
12
作者 郭伟 安佳坤 +3 位作者 刘洋 邵华 杨书强 窦春霞 《中国电力》 CSCD 北大核心 2023年第9期140-148,167,共10页
开发利用分布式可再生能源是推进“双碳”目标的重要举措之一,而由于分布式发电具有较强的波动性和不确定性,其规模化接入会导致低压配电网电压越限等问题。为此,提出一种基于混杂Petrinet的混杂控制方法。上层采用基于节点电压越限条... 开发利用分布式可再生能源是推进“双碳”目标的重要举措之一,而由于分布式发电具有较强的波动性和不确定性,其规模化接入会导致低压配电网电压越限等问题。为此,提出一种基于混杂Petrinet的混杂控制方法。上层采用基于节点电压越限条件触发的变压器挡位智能切换控制策略,以实现大幅度电压越限的粗调;下层采用基于功率-电压灵敏度的虚拟电厂有功功率优化动态调节策略,以实现电压频繁越限的细调。该方法在挖掘利用低压配电网自身变压器以及分布式可调节资源聚合调节潜力的同时,大大节省配置治理设备的资金投入,对助推分布式新能源的规模化消纳具有重要意义。 展开更多
关键词 配电网 petri-NET 双层混杂控制 电压越限 功率-电压灵敏度 分布式能源
下载PDF
基于Petri网的配电网信息物理系统可靠性评估 被引量:8
13
作者 李宏仲 郭相辰 《电网技术》 EI CSCD 北大核心 2023年第1期347-359,共13页
该文提出一种基于广义随机Petri网(generalized stochastic Petrinets,GSPN)的配电网信息物理系统(cyber-physical system,CPS)可靠性评估模型。首先,考虑配电网CPS的动态控制关系,基于GSPN的基本原理,构建配电网CPS的Petri网模型;之后... 该文提出一种基于广义随机Petri网(generalized stochastic Petrinets,GSPN)的配电网信息物理系统(cyber-physical system,CPS)可靠性评估模型。首先,考虑配电网CPS的动态控制关系,基于GSPN的基本原理,构建配电网CPS的Petri网模型;之后,分析了信息攻击及信息元件自身故障对于配电网CPS运行可靠性的影响,并构建了系统元件的状态模型;然后,结合最大流理论,判断故障后各阶段的令牌数,并计算相应的可靠性指标。基于Petri网的评估方法,可以直观地刻画系统拓扑结构及元件状态变化,并通过动态方程推理故障后果,避免了故障后果分析的遍历过程,提升了评估效率。最后,以IEEE-RBTS BUS6配电系统为例开展仿真测试,验证了所提模型的有效性。 展开更多
关键词 配电网CPS 广义随机petri 可靠性 最大流理论
下载PDF
Designing Genetic Regulatory Networks Using Fuzzy Petri Nets Approach
14
作者 Raed I.Hamed Syed I.Ahson Rafat Parveen 《International Journal of Automation and computing》 EI 2010年第3期403-412,共10页
In this paper, we have successfully presented a fuzzy Petri net (FPN) model to design the genetic regulatory network. Based on the FPN model, an efficient algorithm is proposed to automatically reason about imprecis... In this paper, we have successfully presented a fuzzy Petri net (FPN) model to design the genetic regulatory network. Based on the FPN model, an efficient algorithm is proposed to automatically reason about imprecise and fuzzy information. By using the reasoning algorithm for the FPN, we present an alternative approach that is more promising than the fuzzy logic. The proposed FPN approach offers more flexible reasoning capability because it is able to obtain results with fuzzy intervals rather than point values. In this paper, a novel model with a new concept of hidden fuzzy transition (HFT) to design the genetic regulatory network is developed. We have built the FPN model and classified the input data in terms of time point and obtained the output data, so the system can be viewed as the two-input and one output system. This method eliminates possible false predictions from the classical fuzzy model thereby allowing a wider search space for inferring regulatory relationship. The experimental results show the proposed approach is feasible and acceptable to design the genetic regulatory network and investigate the dynamical behaviors of gene network. 展开更多
关键词 Genetic regulatory networks fuzzy petri net (FPN) fuzzy reasoning fuzzy transition modeling.
下载PDF
基于随机Petri网的车险理赔效率建模与分析
15
作者 彭传港 李方媛 《山东交通学院学报》 CAS 2023年第2期14-19,48,共7页
为提高车险理赔效率,构建车险理赔效率随机Petri网模型,基于工作流网结构和实务操作流程分析模型的正确性并改进模型,采用软件PIPE验证模型的合理性。以某保险公司500起车险事故理赔数据为研究对象,构建与随机Petri网同构的车险理赔效... 为提高车险理赔效率,构建车险理赔效率随机Petri网模型,基于工作流网结构和实务操作流程分析模型的正确性并改进模型,采用软件PIPE验证模型的合理性。以某保险公司500起车险事故理赔数据为研究对象,构建与随机Petri网同构的车险理赔效率马尔可夫链,分析车险理赔流程中的低效率环节。结果表明:拒赔、定损和赔款处理流程耗时较多,与车险理赔实际情况吻合。车险理赔效率随机Petri网模型通过变迁利用率和标识流速能动态地描述车险理赔系统的运行时效。根据车险理赔效率分析结果,可缩减定损环节和赔款处理环节时间,显著提升保险公司的车险理赔效率和客户的服务体验。 展开更多
关键词 车险理赔 随机petri 工作流网 马尔可夫链 理赔效率
下载PDF
MARL-GPN:一种基于多智能体强化学习的博弈Petri网
16
作者 刘雨舟 方贤文 《计算机集成制造系统》 EI CSCD 北大核心 2023年第5期1590-1601,共12页
作为过程挖掘中的一个重要研究分支,变化挖掘可运用在系统安全分析、IPS安全建设等场景下,从变化域的生成情况判断可能存在的未知漏洞。而传统变化挖掘算法更注重业务流程的安全性,无法满足在动态博弈场景下挖掘需要考虑多方安全效益所... 作为过程挖掘中的一个重要研究分支,变化挖掘可运用在系统安全分析、IPS安全建设等场景下,从变化域的生成情况判断可能存在的未知漏洞。而传统变化挖掘算法更注重业务流程的安全性,无法满足在动态博弈场景下挖掘需要考虑多方安全效益所形成有效变化域的情况。针对此问题,提出一种基于多智能体强化学习的博弈Petri网(MARL-GPN),以专用于动态安全模型的有效变化域研究。该新型的博弈Petri网会首先根据攻防事件构建效益矩阵,然后各智能体间会根据对方当前状态与下一步走势生成最优应对策略,其次在指定学习周期下达成纳什平衡得到双方最优活动迹,与传统变化挖掘进行比对即可得到有效变化域。最后以典型信息安全事件为例验证了该模型的可行性。 展开更多
关键词 变化挖掘 强化学习 多智能体博弈 博弈petri 网络攻防
下载PDF
确定系统级测试性参数的广义随机Petri网模型 被引量:18
17
作者 钱彦岭 邱静 温熙森 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期4-7,共4页
测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个... 测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。 展开更多
关键词 系统级测试性参数 测试性设计 广义随机petri 区间线性方程
下载PDF
基于Petri网的含DG配电网区域故障定位新方法 被引量:8
18
作者 李振兴 孟晓星 +2 位作者 王玲 叶诗韵 谭洪 《电网与清洁能源》 2018年第2期1-8,16,共9页
针对含DG配电网区域保护中故障定位存在矩阵运算计算量大、耗时长等不足问题,提出了一种基于Petri网区域保护的故障定位新方法。在非故障时段,利用SCADA系统所汇集FTU的信息,在故障前更新网络拓扑,减小了定位耗时;当故障发生时,根据保... 针对含DG配电网区域保护中故障定位存在矩阵运算计算量大、耗时长等不足问题,提出了一种基于Petri网区域保护的故障定位新方法。在非故障时段,利用SCADA系统所汇集FTU的信息,在故障前更新网络拓扑,减小了定位耗时;当故障发生时,根据保护采集的故障信息,通过对PN模型中位置的不同定义,将故障定位问题转换为对锁定单一AFTU的Petri网求解问题,避免了不断修改矩阵参数;通过分层2次定位,减小了单次定位矩阵运算维度,进一步提高区域保护的速动性。通过详细的分析和仿真验证,结果表明:该方法有效提高了区域保护的通用性、简易性、快速性和准确性,具有高的实用价值。 展开更多
关键词 分布式电源 petri 区域保护 故障定位
下载PDF
基于Petri网的地下洞室群交通运输系统模拟方法研究 被引量:5
19
作者 吴益民 余列强 李志军 《水利水电技术》 CSCD 北大核心 2005年第7期90-92,102,共4页
通过应用Petri网的基本特性和一些扩展特性对地下洞室群交通运输系统进行建模,共建立了4个子模型,并编写了相应的计算机程序,解决了机械配套、交叉口忙期概率、装载机前和叉口处发生排队时的队长及其概率等问题。通过子模型的建立大大... 通过应用Petri网的基本特性和一些扩展特性对地下洞室群交通运输系统进行建模,共建立了4个子模型,并编写了相应的计算机程序,解决了机械配套、交叉口忙期概率、装载机前和叉口处发生排队时的队长及其概率等问题。通过子模型的建立大大简化了系统仿真模型,提高了计算效率,降低了计算难度。 展开更多
关键词 petri 计算机模拟 地下洞室群 交通运榆
下载PDF
Petri网技术在导弹虚拟维修中的应用 被引量:3
20
作者 杨军 高玉水 +1 位作者 杜恩祥 杨雨迎 《弹箭与制导学报》 CSCD 北大核心 2009年第4期277-280,共4页
研究了用于维修知识描述的高级Petri网技术—维修知识描述Petri网(maintenance knowledge description nets,MKDN)。在完成基于MKDN资源、操作动作、约束条件和维修过程建模的基础上,给出了基于MKDN的维修知识描述方法在炮射导弹虚拟维... 研究了用于维修知识描述的高级Petri网技术—维修知识描述Petri网(maintenance knowledge description nets,MKDN)。在完成基于MKDN资源、操作动作、约束条件和维修过程建模的基础上,给出了基于MKDN的维修知识描述方法在炮射导弹虚拟维修训练系统中的具体实现过程。 展开更多
关键词 炮射导弹 虚拟维修操作 petri网技术
下载PDF
上一页 1 2 24 下一页 到第
使用帮助 返回顶部