期刊文献+
共找到483篇文章
< 1 2 25 >
每页显示 20 50 100
基于分层时间有色Petri网的支付协议公平性分析 被引量:7
1
作者 刘文琦 顾宏 《电子与信息学报》 EI CSCD 北大核心 2009年第6期1445-1450,共6页
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠... 电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。 展开更多
关键词 有色petri(CPN) 支付协议 公平性 可追究性
在线阅读 下载PDF
进路建立过程的时间有色petri网建模与仿真 被引量:2
2
作者 秦发园 戴胜华 徐昱 《计算机工程与应用》 CSCD 北大核心 2015年第8期266-270,共5页
计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行... 计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。 展开更多
关键词 计算机联锁 有色petri 时间petri CPN TOOLS
在线阅读 下载PDF
基于着色时间Petri网的飞机维修保障作业优化 被引量:1
3
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
有色—时间Petri网航班延误模型与波及分析 被引量:13
4
作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页
基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多
关键词 petri 有色-时间petri 航班延误 模型 波及分析
在线阅读 下载PDF
基于时间-有色Petri网的电梯系统的建模与分析 被引量:5
5
作者 宗群 窦立谦 程义菊 《中国工程科学》 2004年第12期51-55,共5页
根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说... 根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。 展开更多
关键词 petri 时间-有色petri 电梯模型 电梯运行
在线阅读 下载PDF
面向非计划维修停机时间分析的装备维修过程有色Petri网模型 被引量:5
6
作者 曲长征 于永利 +1 位作者 郝建平 张柳 《兵工学报》 EI CAS CSCD 北大核心 2009年第9期1271-1275,共5页
在总结装备非计划维修过程特点的基础上,进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型,实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型,实现了装备非计... 在总结装备非计划维修过程特点的基础上,进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型,实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型,实现了装备非计划维修停机时间分析功能,最后进行了实例研究。 展开更多
关键词 运筹学 停机时间 非计划维修 模型 petri
在线阅读 下载PDF
用受控有色Petri网解决水力机组组合中时间约束问题的研究 被引量:2
7
作者 喻菁 周建中 +2 位作者 廖荣涛 倪传坤 戴洪海 《水利水电技术》 CSCD 北大核心 2004年第4期50-53,共4页
提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约... 提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约束的机组组合问题提供了新的辅助方法. 展开更多
关键词 受控有色petri 机组组合 时间约束
在线阅读 下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析 被引量:1
8
作者 张凯文 刘关俊 +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网的铁路时间同步网协议安全性分析 被引量:4
9
作者 张友鹏 张昊磊 王虹 《铁道学报》 EI CAS CSCD 北大核心 2017年第10期82-88,共7页
随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常... 随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常工作模式下的有色Petri网模型,并分析协议在进行时间同步过程中存在的漏洞。构建入侵者成功入侵协议所需要的知识集和入侵者在入侵过程中能够获取的知识集,并使用有色Petri网对NTP协议受到入侵的过程进行建模。通过逆向状态分析方法,对NTP协议进入不安全状态的可达性进行分析,使用CPNTools软件对分析结果进行仿真验证。结果表明,NTP协议的服务器身份验证过程是不安全的。 展开更多
关键词 时间同步协议 漏洞 有色petri 入侵 逆向状态分析法
在线阅读 下载PDF
带有时间戳的着色逻辑Petri网 被引量:1
10
作者 王嘉丰 徐贤 《计算机科学与探索》 CSCD 北大核心 2024年第7期1776-1791,共16页
针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局... 针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。 展开更多
关键词 petri 时间 着色令牌 逻辑变迁
在线阅读 下载PDF
基于标签时间Petri网最小初始状态的实时系统初始资源配置
11
作者 王琛 黎良 刘斌 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第11期2103-2111,共9页
针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标... 针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标识的计算.其次,介绍一种基于路径(即变迁序列)的修正状态类图(MSCG).通过求解由路径MSCG的时间约束构建的线性规划问题,判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致.在此基础上,求出与时间标签序列相一致的极小初始状态集,并找出极小初始状态集中token总数最少的最小初始状态.最后,利用实例验证了所提方法的可行性和有效性. 展开更多
关键词 离散事件系统 资源配置 时间petri 状态类图 状态估计
在线阅读 下载PDF
基于时间Petri网的电-气综合能源系统薄弱环节辨识 被引量:1
12
作者 陶淳逸 《电测与仪表》 北大核心 2024年第5期1-8,共8页
为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述... 为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述电-气系统故障传播的动态特性和时序差异,将级联危害评价计算融入到Petri网的运行过程中,寻找引发级联失效的关键环节,以IEEE30节点和25节点天然气系统组成的电-气耦合系统仿真分析,验证所提方法的有效性。 展开更多
关键词 时间petri 薄弱环节 级联故障 电-气综合能源系统
在线阅读 下载PDF
基于有色自控Petri网的电网故障区域识别 被引量:18
13
作者 谢敏 吴亚雄 +1 位作者 黄庶 刘明波 《电力系统保护与控制》 EI CSCD 北大核心 2016年第2期56-64,共9页
为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动... 为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动态过程,以Petri网作为建模工具,对全部元件赋予颜色属性并允许有向弧上有可变的权,构建用于电网故障区域搜索的有色自控Petri网模型。然后以Net Beans为开发环境,运用Java语言编程实现对故障区域的快速搜索。对某8节点测试系统的仿真结果表明:对于电网中存在的单重故障、多重故障以及保护和断路器有不正确动作的复杂故障,该方法均能快速准确地确定故障区域,有助于电网故障诊断的后续工作顺利进行。 展开更多
关键词 有色自控petri 故障区域 故障诊断 电力系统 JAVA
在线阅读 下载PDF
基于模糊时间Petri网的电网故障诊断方法 被引量:26
14
作者 徐彪 尹项根 +3 位作者 汪旸 张哲 郝洵 陈钟钟 《电力系统自动化》 EI CSCD 北大核心 2018年第2期70-76,共7页
故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库... 故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库所及变迁引入时间属性以表征电力系统告警信息的时序约束关系,定义了置信概率与时序约束的关联推理运算,并从模型结构出发建立了模糊时间Petri网的分层推理过程,能够同时推理得到元件故障的置信概率及其时间点约束。算例仿真表明,所提方法能够快速判定故障元件,诊断结果正确且合理,具有较强的容错性,且能对告警信息做出正确评价。 展开更多
关键词 故障诊断 模糊时间petri 时序推理 动作评价
在线阅读 下载PDF
一种扩展了价格信息的时间Petri网 被引量:21
15
作者 刘显明 李师贤 +1 位作者 李文军 潘理 《软件学报》 EI CSCD 北大核心 2007年第1期1-10,共10页
性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给... 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网——价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的. 展开更多
关键词 时间petri 价格 价格时间变迁系统 状态类 业务流程管理
在线阅读 下载PDF
一种基于时间Petri网的工作流模型 被引量:28
16
作者 李炜 曾广周 王晓琳 《软件学报》 EI CSCD 北大核心 2002年第8期1666-1671,共6页
面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依... 面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程. 展开更多
关键词 时间petri 工作流模型 资源 任务 工作流建模
在线阅读 下载PDF
基于时间Petri网的断路器虚拟装配系统研究 被引量:14
17
作者 杨艳芳 贺焕 +3 位作者 舒亮 杨秒 陈萍 吴自然 《中国机械工程》 EI CAS CSCD 北大核心 2019年第3期310-317,324,共9页
提出了一种基于时间Petri网模型的断路器自动化虚拟装配系统,采用时间约束的嵌套式Petri网模型对装配系统行为逻辑进行描述。将建立的Petri网模型中的库所、变迁与Unity 3D软件的虚拟场景中的实体对象相对应,采用时序驱动的方法在Unity... 提出了一种基于时间Petri网模型的断路器自动化虚拟装配系统,采用时间约束的嵌套式Petri网模型对装配系统行为逻辑进行描述。将建立的Petri网模型中的库所、变迁与Unity 3D软件的虚拟场景中的实体对象相对应,采用时序驱动的方法在Unity 3D中对断路器自动化装配实体进行了虚拟重现。开发了基于C#函数库的虚拟装配系统数据交换引擎,可通过Wi-Fi、工业串口与外部实体实现数据交换。采用包围盒法对虚拟装配单元和零部件进行碰撞检测设计,进而实现了断路器自动化装配系统的虚拟现实仿真,并验证了该系统的可行性和有效性。 展开更多
关键词 断路器 时间petri 虚拟现实 虚拟装配
在线阅读 下载PDF
基于有色Petri网的电力系统故障诊断模型研究 被引量:25
18
作者 曾庆锋 何正友 杨健维 《电力系统保护与控制》 EI CSCD 北大核心 2010年第14期5-11,127,共8页
现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标... 现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标记的托肯表示不同类型的状态信息。同时建立有色Petri推理过程,给出变迁的点火规则,根据有色Petri网的推理规则进行推理获得诊断结果。通过对110 kV局部电网和某省局部电网的仿真验证表明:该方法对简单和复杂故障均能获得正确的诊断结果,并且推理速度快,模型简便,网络拓扑和保护配置的改变不影响模型结构,是一种通用性较强的电网故障诊断方法。 展开更多
关键词 有色petri 故障诊断模型 故障 通用性
在线阅读 下载PDF
基于时间Petri网的工作流系统模型的线性推理 被引量:34
19
作者 刘婷 林闯 刘卫东 《电子学报》 EI CAS CSCD 北大核心 2002年第2期245-248,共4页
目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作... 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 。 展开更多
关键词 工作流管理系统 时间petri 线性推理
在线阅读 下载PDF
机组组合问题的复合控制有色Petri网模型 被引量:7
20
作者 喻菁 周建中 +2 位作者 戴洪海 杨俊杰 华斌 《电网技术》 EI CSCD 北大核心 2004年第11期62-66,71,共6页
文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模... 文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模型。在某些情况下,由于触发颜色的不同,同一变迁可属于不同的类型,各类变迁的区别主要在于触发条件不同。文章还利用定义的CCCP对考虑时间约束的发电机组组合问题进行了建模、分析,并通过举例进一步阐述了CCCP在对机组组合这类复杂控制问题进行建模时的作用。该模型为机组组合问题提供了一个新的建模思想和较好的解决方案。 展开更多
关键词 电力系统 机组组合 复合控制 有色petri 经济调度
在线阅读 下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部