铁路信号联锁逻辑形式化建模研究 被引量：24

1

作者 陈邦兴 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 2002年第6期50-54,共5页

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次... 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。 展开更多

关键词 铁路信号联锁逻辑 形式化建模 有色petri网 层次化有色petri网 联锁设备

下载PDF 职称材料

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

2

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

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

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

下载PDF 职称材料

面向对象Petri网的离散事件系统仿真建模 被引量：14

3

作者 李杰 王书亭 陈立平 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第5期12-13,16,共3页

将Petri网技术和O O技术相结合 ,利用消息驱动机制以增强其描述能力而形成对象Petri网 (OOPN) .它用面向对象的方法建立系统整体框架 ,用有色Petri网描述对象、以消息驱动机制在对象间传递消息 ,能较好地将O O技术和Petri网结合起来 。

关键词 系统仿真 有色petri网 面向对象 颜色集 消息驱动机制 O-O技术 仿真建模

下载PDF 职称材料

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

4

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

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

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

下载PDF 职称材料

基于有色Petri网和移动Agent的网络入侵检测系统 被引量：1

5

作者 梁毅 周建国 晏蒲柳 《计算机工程》 CAS CSCD 北大核心 2003年第16期106-108,共3页

介绍了用有色Petri网的理论对分布式网络入侵行为检测进行建模，并采用移动Agent技术来实现的方法。整个系统具有匹配能力强、扩展性好、分布式运算的特点。

关键词 有色petri网 移动AGENT 入侵检测系统

下载PDF 职称材料

基于CPN的信息系统资源配置动态模型的建立 被引量：4

6

作者 颜志军 甘仞初 《管理科学学报》 CSSCI 2002年第1期76-84,共9页

针对信息资源配置问题提出了一种基于有色 Petri网的规范化建模方法 ,并对整个建模过程进行了详细的描述 .提出了系统层次模型结构和执行图的概念 ,对执行图和 Petri网之间的转换过程进行了分析、定义 ,从而减少了大系统建模的复杂程度... 针对信息资源配置问题提出了一种基于有色 Petri网的规范化建模方法 ,并对整个建模过程进行了详细的描述 .提出了系统层次模型结构和执行图的概念 ,对执行图和 Petri网之间的转换过程进行了分析、定义 ,从而减少了大系统建模的复杂程度和工作量 .利用相关的计算机工具 ,可以方便地实现系统建模和对信息资源配置情况的评价。 展开更多

关键词 信息系统 CPN 资源配置动态模型 性能评价 有色petri网 执行图 系统建模

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

网络服务系统可生存性分析与验证 被引量：3

8

作者 李良斌 王劲林 陈君 《沈阳工业大学学报》 EI CAS 北大核心 2012年第6期677-684,共8页

为了分析采用冗余组件的网络服务系统的可生存性,建立了攻击、抵抗和恢复的过程模型,基于服务与组件的依赖关系提出了系统可生存性的量化评估方法.分析了不同组件的系统可生存性评估值的敏感参数及贪心策略下的恢复优先级,采用着色Petr... 为了分析采用冗余组件的网络服务系统的可生存性,建立了攻击、抵抗和恢复的过程模型,基于服务与组件的依赖关系提出了系统可生存性的量化评估方法.分析了不同组件的系统可生存性评估值的敏感参数及贪心策略下的恢复优先级,采用着色Petri网设计了仿真工具,并以一个IPTV网络服务系统为例,验证了攻击强度、攻击密度和恢复强度对系统可生存性的影响.该方法将可生存性系统的运作过程建模为多种因素并行作用下的动态过程,并利用仿真工具对系统的可生存性进行了验证,其验证结果为可生存系统设计及可生存性增强策略提供了依据. 展开更多

关键词 可生存性分析 网络服务系统 冗余组件 攻击 抵抗 失效恢复 动态过程 着色petri网

下载PDF 职称材料

基于CPN Tools的网上购物系统建模及合理性分析 被引量：3

9

作者 彭洁 李淑芝 杨书新 《江西理工大学学报》 CAS 2011年第5期49-52,共4页

提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合... 提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性. 展开更多

关键词 网上购物 着色petri网 替代变迁 状态空间

下载PDF 职称材料

考虑非周期消息的1553B总线Petri网建模与分析 被引量：3

10

作者 徐侃 黄宁 王春霖 《计算机应用与软件》 北大核心 2018年第2期310-315,共6页

准确评估1553B总线的性能指标对于综合航电系统的设计有着重要的意义。基于着色Petri网CPN(Colored PetriNet)建立了1553B总线模型。模型利用分层思想,将总线结构模块化,描述消息在总线上传输的动态过程。在周期性消息的基础上同时考虑... 准确评估1553B总线的性能指标对于综合航电系统的设计有着重要的意义。基于着色Petri网CPN(Colored PetriNet)建立了1553B总线模型。模型利用分层思想,将总线结构模块化,描述消息在总线上传输的动态过程。在周期性消息的基础上同时考虑非周期性消息,更加符合1553B总线的实际情况。利用TimeNET软件进行仿真,计算总线负载和时延等性能指标,验证模型的准确性和有效性,为综合航电系统的设计、评价和完善提供重要的理论依据。 展开更多

关键词 1553B总线 着色petri网 非周期消息 性能指标

下载PDF 职称材料

基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析 被引量：3

11

作者 汪小勇 董德存 +1 位作者 欧冬秀 纪玉清 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2021年第3期382-390,共9页

点式‒基于通信的列车控制(BM-CBTC)多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式‒基于通信的列车控制(BM-CBTC)系统模式切换功能及过程,建立基于有色Petri网(CPN)的模式切换模型,研究不同点式(BM)控制系统... 点式‒基于通信的列车控制(BM-CBTC)多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式‒基于通信的列车控制(BM-CBTC)系统模式切换功能及过程,建立基于有色Petri网(CPN)的模式切换模型,研究不同点式(BM)控制系统设计运行间隔下的系统切换实时性。实验表明,切换时延随着BM设计运行间隔增大而增加,当BM设计运行间隔为2 min时能将列车运行晚点时间控制在5 min以内。建立的CPN模型亦可为其他配置的多模列控系统切换的实时性分析作为参考。 展开更多

关键词 多模列控系统 点式‒基于通信的列车控制系统 有色petri网 模式切换 实时性

下载PDF 职称材料

一种基于有色Petri网的安全协议分析方法研究 被引量：2

12

作者 苏桂平 孙莎 《微型机与应用》 2011年第15期1-3,7,共4页

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。

关键词 有色petri网 安全协议 形式化分析 面向对象编程语言

下载PDF 职称材料

有色Petri网的一种密码协议建模分析

13

作者 罗志宏 朱思铭 《现代计算机》 2006年第2期64-67,共4页

密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注。本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性。

关键词 有色petri网 密码协议 建模 形式化分析 建模分析 安全系统

下载PDF 职称材料

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

14

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

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

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

下载PDF 职称材料

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

15

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

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

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

下载PDF 职称材料

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

16

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

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

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

下载PDF 职称材料

基于CPN的舰船电子综合化系统总线建模 被引量：7

17

作者 吴文铁 张长伟 张文祥 《计算机应用与软件》 CSCD 北大核心 2012年第11期116-118,147,共4页

在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性... 在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性能指标的动态变化曲线,与理论计算值比较分析,验证了所建模型的正确性和有效性,所建模型可以为舰船电子综合化系统的设计与优化提供理论依据。 展开更多

关键词 舰船电子综合化系统 有色petri网 总线 建模

下载PDF 职称材料

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

18

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

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

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

下载PDF 职称材料

基于资源共享的医疗服务流程的建模与仿真分析 被引量：4

19

作者 郑文艳 《计算机应用研究》 CSCD 北大核心 2014年第9期2715-2718,2723,共5页

针对目前患者到医院就诊等待时间长、医院内部资源利用效率低的问题,提出一种基于着色Petri网的医疗服务流程模型。利用仿真工具CPN Tools对整个医疗服务流程构建模型,在证明模型正确性的基础上对模型进行仿真分析与计算,获取患者就诊... 针对目前患者到医院就诊等待时间长、医院内部资源利用效率低的问题,提出一种基于着色Petri网的医疗服务流程模型。利用仿真工具CPN Tools对整个医疗服务流程构建模型,在证明模型正确性的基础上对模型进行仿真分析与计算,获取患者就诊过程中各个环节的等待时间、被服务时间、医护人员的有效服务时间以及床位的有效服务时间等各项指标,最后通过对各项制约效率指标的分析,为资源进行合理调配,提高服务效率和资源利用率提供了理论依据。实验结果表明,该方法与以往就医模式相比,能够为流程重组及资源分配等各项优化措施提供事实数据,对同类研究具有一定借鉴意义。 展开更多

关键词 着色petri网 业务流程建模 医疗服务流程 资源共享

下载PDF 职称材料

基于分层着色Petri网的地空导弹装备维修建模 被引量：4

20

作者 赵强 周林 +1 位作者 陈维 齐立辉 《航空计算技术》 2008年第6期28-31,共4页

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现。

关键词 分层着色petri网 地空导弹 装备维修 建模

下载PDF 职称材料