铁路信号控制逻辑的有色Petri网描述方法

铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.     

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。     

基于UML建模的计算机联锁进路模块Petri网验证

对于铁路车站计算机联锁软件中的重要部分之一的进路模块，使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点，利用具有严格理论分析方法的Petri网对模型进行形式化验证，保证模型的精确性和安全性。     

基于Petri网技术的动车组检修作业工作流系统研究

针对目前动车组检修业务,抽象出作业过程规则,并建立动车组检修作业工作流程.通过工作流和Petri网的相关理论对该工作流进行建模,并利用Petri网技术分析方法,从模型的正确性分析和性能评价两个方面对所建立的Petri网模型进行分析.     

面向RITS的多Agent列车群运行模型

基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。     

基于petri网的列车运行控制系统研究

介绍了Petri网建模理论和CPN-TOOLS仿真工具,并采用Petri网对中国列车运行控制系统进行了建模,通过仿真验证了模型的正确性.     

基于一种混合Petri网的列车运行系统的建模与分析

针对列车运行系统中连续变量和离散事件的混合描述问题,提出一种混合Petri网建模方法.相对于已有的列车运行系统建模方法,该方法用连续库所和连续变迁描述系统中连续变量的变化过程;采用关联方程表示连续托肯中相应的连续属性的变化;定义相对应的变迁触发规则表示连续变量、离散事件、人参与等多种因素的相互作用.由列车运行系统的混合Petri网模型分析表明,该方法可以有效地描述连续变量与离散事件的交互,并能够进行列车运行过程中的速度限值、监测点距离、离散事件发生的时间区间的分析.由于列车运行系统是一类典型的混杂系统,该方法具有普适性.     

基于随机Petri网的磁浮列车超速防护建模及安全分析

欧洲议会颁布的CENELEC系列标准文件及安全指南基于全局安全目标来量化铁路运行的可容忍风险,并希望据此确定相应控制系统功能及部件的安全需求.本文基于单一的随机Petri网,通过对系统自身运行的动态特性及所有影响系统运行风险的因素进行全面的层次化建模、风险分析及危险分析,实现了这一目标.在本文的建模方法中,通过对运输工具的动态运行操作过程、控制系统功能及功能可靠性的建模和仿真实现了风险分析;对动态运行过程、功能执行部件及部件可靠性的建模和仿真实现危险分析.本文以磁浮列车超速安全防护过程为例描述了详细的运输系统建模、分析及仿真过程.仿真结果表明单一的随机Petri网可以用来实现全局安全目标到系统功能部件可靠性的全面分配.     

列车区间运行安全的Petri网模型研究

鉴于我国铁路列车行车事故多发生在区间运行过程中,以及列车在区间运行的动态特性,利用Petri网具有强大的功能描述及分析系统动态变化的特点,建立了列车区间运行系统的动态Petri网模型。通过对该模型合理性的论证,并运用此模型对实际事故案例进行分析,表明所建的列车区间运行安全Petri网模型是合理的。