基于有色Petri网的ETCS无线通信可靠性分析 被引量：29

1

作者 徐田华 赵红礼 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2008年第1期38-42,共5页

ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提... ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性。分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%。因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求。 展开更多

关键词 ETCS 可靠性分析 有色petri网 无线通信

在线阅读 下载PDF 职称材料

基于有色Petri网的电力系统故障诊断模型研究 被引量：25

2

作者 曾庆锋 何正友 杨健维 《电力系统保护与控制》 EI CSCD 北大核心 2010年第14期5-11,127,共8页

现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标... 现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标记的托肯表示不同类型的状态信息。同时建立有色Petri推理过程,给出变迁的点火规则,根据有色Petri网的推理规则进行推理获得诊断结果。通过对110 kV局部电网和某省局部电网的仿真验证表明:该方法对简单和复杂故障均能获得正确的诊断结果,并且推理速度快,模型简便,网络拓扑和保护配置的改变不影响模型结构,是一种通用性较强的电网故障诊断方法。 展开更多

关键词 有色petri网 故障诊断模型 电网故障 通用性

在线阅读 下载PDF 职称材料

用着色Petri网建模工作流模式 被引量：12

3

作者 闻立杰 王建民 孙家广 《计算机科学》 CSCD 北大核心 2006年第6期135-139,共5页

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种... 工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。 展开更多

关键词 工作流 建模语言 模式 着色petri网 控制流

在线阅读 下载PDF 职称材料

基于分层着色Petri网的装备战场抢修系统建模 被引量：10

4

作者 齐胜利 武昌 杨懿 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第10期2327-2329,2337,共4页

讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析... 讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。 展开更多

关键词 分层着色petri网 装备 战场抢修 建模

在线阅读 下载PDF 职称材料

基于着色Petri网理论的通信装备维修系统建模 被引量：5

5

作者 齐胜利 武昌 +1 位作者 杨懿 尤学工 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第3期37-41,共5页

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有... 讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。 展开更多

关键词 着色petri网 通信装备 维修系统 模型

在线阅读 下载PDF 职称材料

电力系统网络拓扑分析的有色Petri网模型 被引量：29

6

作者 赖晓平 周鸿兴 《电网技术》 EI CSCD 北大核心 2000年第12期5-10,共6页

考虑了电力系统网络拓扑分析问题 ,研究了实时拓扑分析的动态特性 ,并提出了改进的拓扑分析算法。把整个电网拓扑分析问题分解为若干个基本分析单元 ,提出了基本分析单元的有色 Petri网模型 ,用令牌表示母线 ,用令牌的颜色表示连接在同... 考虑了电力系统网络拓扑分析问题 ,研究了实时拓扑分析的动态特性 ,并提出了改进的拓扑分析算法。把整个电网拓扑分析问题分解为若干个基本分析单元 ,提出了基本分析单元的有色 Petri网模型 ,用令牌表示母线 ,用令牌的颜色表示连接在同一母线上的结点。基于基本分析单元有色Petri网的电网拓扑分析 ,当某个开关改变状态时 ,只重新计算包含该开关两端结点的母线。基本分析单元的有色 Petri网描述了开关状态变化引起网络拓扑变化这一离散事件动态过程。分析表明 ,基于基本分析单元有色 Petri网的拓扑分析算法比传统方法效率高得多。 展开更多

关键词 电力系统 有色petri网 网络拓扑分析 电网

在线阅读 下载PDF 职称材料

基于赋时层次有色Petri网的医疗服务流程建模与优化 被引量：24

7

作者 伍宏伟 杨东 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第8期1657-1663,1699,共8页

构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTool... 构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTools对医疗服务流程进行建模和仿真分析,从而得到患者平均等待时间、各类资源利用率等医院的外部和内部性能指标,最后在此基础之上通过合并任务、整合资源等流程重组和优化方法实现了医院服务效率的提高和服务质量的改进。 展开更多

关键词 赋时层次有色petri网 HTCP-net 流程建模 流程优化 医疗服务流程

在线阅读 下载PDF 职称材料

基于时序模拟法和Petri网的电气主接线可靠性评估 被引量：7

8

作者 姚李孝 崔杜武 +1 位作者 伍利 李庆宇 《西安理工大学学报》 CAS 2005年第1期42-46,共5页

提出了用时序模拟法对电气主接线进行可靠性评估。首先按照系统运行的时间顺序进行采样,得到随时间变化的系统状态,并用离散的时间步长法模拟系统状态,不仅可以反映系统的实际运行过程,而且便于考虑与时间有关的问题;其次利用有色Petri... 提出了用时序模拟法对电气主接线进行可靠性评估。首先按照系统运行的时间顺序进行采样,得到随时间变化的系统状态,并用离散的时间步长法模拟系统状态,不仅可以反映系统的实际运行过程,而且便于考虑与时间有关的问题;其次利用有色Petri网模型以及基于该Petri网的电网拓扑分析算法,对主接线由于开关变化引起网络变化的动态过程进行分析。计算结果表明了该算法的正确性和有效性。 展开更多

关键词 时序模拟法 主接线分析 有色petri网

在线阅读 下载PDF 职称材料

基于扩展Petri网的系统建模及形式化验证方法 被引量：5

9

作者 张国印 刘铭 +1 位作者 姚爱红 门朝光 《计算机应用研究》 CSCD 北大核心 2010年第12期4587-4590,共4页

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间... 嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。 展开更多

关键词 形式化验证 建模 实时有色petri网 嵌入式系统

在线阅读 下载PDF 职称材料

基于时间-有色Petri网的电梯系统的建模与分析 被引量：5

10

作者 宗群 窦立谦 程义菊 《中国工程科学》 2004年第12期51-55,共5页

根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说... 根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。 展开更多

关键词 petri网 时间-有色petri网 电梯模型 电梯运行

在线阅读 下载PDF 职称材料

基于分层时间有色Petri网的支付协议公平性分析 被引量：7

11

作者 刘文琦 顾宏 《电子与信息学报》 EI CSCD 北大核心 2009年第6期1445-1450,共6页

电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠... 电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。 展开更多

关键词 有色petri网(CPN) 支付协议 公平性 可追究性

在线阅读 下载PDF 职称材料

有色Petri网在网络通信协议上的应用 被引量：5

12

作者 刘琼波 尤晋元 《计算机工程与应用》 CSCD 北大核心 2001年第9期27-29,46,共4页

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后，Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Ｐ... 自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后，Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网，并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。 展开更多

关键词 有色petri网 Design/CPN 停一等协议 网络通信协议 数据帧

在线阅读 下载PDF 职称材料

一种扩展了价格信息的着色Petri网及其应用 被引量：4

13

作者 刘峰 张伟 《计算机应用》 CSCD 北大核心 2007年第10期2501-2503,共3页

基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并以一个业务流程实例介绍了价格着色网的分析技术及其应用,实验结果表明着色网扩展价格信息是可行的而且是... 基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并以一个业务流程实例介绍了价格着色网的分析技术及其应用,实验结果表明着色网扩展价格信息是可行的而且是有效的。 展开更多

关键词 价格信息 着色网 价格着色网 业务流程管理

在线阅读 下载PDF 职称材料

基于有色Petri网的MiLCAN网络仿真与性能分析 被引量：2

14

作者 宋小庆 陈永星 +2 位作者 朱昀炤 王治国 马亚龙 《系统仿真学报》 CAS CSCD 北大核心 2013年第S1期95-98,103,共5页

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用有色Petri网构建基于MilCAN的某型车辆综合电子系统总线网络性能分析模型。运用系统功能模块划分以及分层设计思想提出了基于系统的建模方法,运用CPN_Tools工具进行模型实现... 针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用有色Petri网构建基于MilCAN的某型车辆综合电子系统总线网络性能分析模型。运用系统功能模块划分以及分层设计思想提出了基于系统的建模方法,运用CPN_Tools工具进行模型实现和仿真实验。实验结果证明了仿真建模的可行性与有效性。 展开更多

关键词 有色petri网 MiLCAN总线网络 1553B 马尔可夫链

在线阅读 下载PDF 职称材料

电力系统结线分析的有色Petri网方法 被引量：4

15

作者 赖晓平 周鸿兴 王良 《控制理论与应用》 EI CAS CSCD 北大核心 2001年第5期726-731,共6页

从离散事件动态系统角度考虑电力系统结线分析问题 ,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法 .Petri网中的令牌代表结线分析中的结点 ,令牌的颜色表示连接在同一个结点上的元件 ,变迁将包含相同元件的结... 从离散事件动态系统角度考虑电力系统结线分析问题 ,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法 .Petri网中的令牌代表结线分析中的结点 ,令牌的颜色表示连接在同一个结点上的元件 ,变迁将包含相同元件的结点连接在一起 .论文对基于Petri网的结线分析算法及传统的算法进行了比较 ,并计算了一个模型系统各变电站的结点及网络的结线 ,表明了该方法的可行性及有效性 . 展开更多

关键词 结线分析 有色petri网 电力系统 准线技术

在线阅读 下载PDF 职称材料

价格着色Petri网的最小成本可达问题 被引量：8

16

作者 张伟 刘峰 《计算机工程》 CAS CSCD 北大核心 2009年第1期79-81,共3页

针对实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展价格信息,提出价格着色网。讨论价格着色网的变迁步规则,根据提出的经济标识,给出最小成本构造算法,以一个业务流程实例演示该模型的应用,证明其能够较好地解决业务流程... 针对实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展价格信息,提出价格着色网。讨论价格着色网的变迁步规则,根据提出的经济标识,给出最小成本构造算法,以一个业务流程实例演示该模型的应用,证明其能够较好地解决业务流程建模中的成本预算分析问题。 展开更多

关键词 价格着色petri网 最小成本构造算法 业务流程管理 成本预算分析

在线阅读 下载PDF 职称材料

基于有色Petri网的ETCS通信系统与列车间隔分析 被引量：5

17

作者 徐田华 唐涛 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第21期5038-5041,共4页

利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列... 利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列车安全间距指标。研究结果对于优化列车间隔时间、提高列车运行效率和保障列车运行安全具有重要意义。 展开更多

关键词 有色petri网 欧洲列车控制系统 无线通信 列车间隔时间

在线阅读 下载PDF 职称材料

基于模糊有色Petri网的不确定性学习和推理方法 被引量：6

18

作者 陈亚华 吴时霖 《系统仿真学报》 CAS CSCD 2003年第z1期56-58,共3页

模糊Petri网模型可以用于模糊推理,但在Petri网中不得不用独立子网表示所有类型的过程,即使这些过程具有相同的行为,这导致整个Petri网变得很大。文中提出基于模糊有色Petri网的不确定性推理方法和基于遗传算法的学习过程。在减少网络规... 模糊Petri网模型可以用于模糊推理,但在Petri网中不得不用独立子网表示所有类型的过程,即使这些过程具有相同的行为,这导致整个Petri网变得很大。文中提出基于模糊有色Petri网的不确定性推理方法和基于遗传算法的学习过程。在减少网络规模,计算时间和克服解释网络困难的同时,它能保持等量的信息,提供结构化的表示,使知识库中的规则之间的关系易于表示。 展开更多

关键词 模糊有色petri网 不确定性推理方法 学习过程 遗传算法

在线阅读 下载PDF 职称材料

基于Petri网的改进检验过程调度算法 被引量：2

19

作者 刘青昆 王异奇 张健 《计算机应用与软件》 CSCD 北大核心 2012年第4期269-271,共3页

原材料的检验方法在生产计划中起着关键的作用。根据检验过程的特点,提出一种改进的检验过程调度算法。该算法解决了此前多处理器调度算法用于分支检验时仅根据原材料投产时间对材料进行调度所产生的问题。改进的算法增加了原材料检验... 原材料的检验方法在生产计划中起着关键的作用。根据检验过程的特点,提出一种改进的检验过程调度算法。该算法解决了此前多处理器调度算法用于分支检验时仅根据原材料投产时间对材料进行调度所产生的问题。改进的算法增加了原材料检验任务的紧迫度的概念,针对检验时间较长的材料,投产时间紧迫的任务实现了有效调度,进而提高生产效率。同时算法结合高级颜色时间Petri网,模拟一个实际企业管理系统,对改进的检验任务调度算法建模并进行仿真测试。测试结果表明,改进的算法在生产计划的检验过程中,检验成功率和检验员的工作效率较先前算法都有较大提高。 展开更多

关键词 检验调度 紧迫度 原材料分割 颜色时间petri网 建模

在线阅读 下载PDF 职称材料

使用着色Petri网实现调度仿真系统中的启发式算法 被引量：1

20

作者 曹杰 史金飞 戴敏 《中国机械工程》 EI CAS CSCD 北大核心 2006年第15期1604-1608,共5页

提出了在着色Petri网中运用标准元语言(SML)实现逻辑计算的方法。将着色Petri网与SML函数的组合体称为着色Petri网的运算单元,利用运算单元实现了调度系统NEH启发式算法。给出了使用着色Petri网组建流水车间(Flow Shop)调度仿真系统的... 提出了在着色Petri网中运用标准元语言(SML)实现逻辑计算的方法。将着色Petri网与SML函数的组合体称为着色Petri网的运算单元,利用运算单元实现了调度系统NEH启发式算法。给出了使用着色Petri网组建流水车间(Flow Shop)调度仿真系统的实例。 展开更多

关键词 调度 着色petri网 SML 启发式算法 运算单元

在线阅读 下载PDF 职称材料