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

第18卷第2期 铁道运 营技术 VO1．18 N O．2 2012年 4月 R ailwayOperationTechnology April 2012 列车区间运行安全的Petri网模型研究 李智基 ，代振环 ，张春民 (兰州交通大学交通运输学 院，1．硕士研究生 ；2．副教授 ，甘肃 兰州 730070) 摘 要 ：鉴于我 国铁路列车行车事故多发生在 区间运行过程中，以及列车在区间运行的动态特性 ，利用Petri 网具有强大的功能描述及分析系统动态变化的特点，建立 了列车区间运行系统的动态 Petri网模型。 通过对该模型合理性的论证 ，并运用此模型对实际事故案例进行分析 ，表 明所建的列车区间运行安 全Petri网模型是合理的。 关键词 ：铁路 ；区间运行；行车事故；动态性 ；Petri网模型 中图分类号 ：U298．51 文献标识码：A 文章编号 ：1006—8686 (2012)02—0006—04 列车在区间的运行是一个循环过程 ，即在一定 一 个六元组来表示。即 的闭塞条件下 ，列车在 区间运行时由一个闭塞分区 ∑={，P，F，Mo，，(f)，Q(f)} 运行到前方另一个闭塞分 区。在这个过程 中，司机 式 中：={t。，t。，…t}为变迁集 ，t为一个事件或系统 对列车在区间的行车状态需要不断地判断 ，并对设 行为， 1，2，…n； 备可能出现 的状况采取相应的措施 ，以保证行车安 P：{P。，P。，…P}为库所集 ，P为事件发生的状 全。可见 ，列车区间运行安全的系统涉及了司机和多 态或结果 ，且能容纳一个或多个托肯， 1，2，…z； 项行车控制设备 ，具有相对动态和复杂性、整体性 的 F是连接变迁与库所 ，以及库所与变迁之间的 特点。由于列车在区间运行的安全直接影响着铁路 有 向弧集合 ，满足Pn = ，Pu ≠ ，F (PxT)u 的运输能力，以及列车运行的安全正点等 ，对铁路运 (TxP)； 输生产任务的完成起着决定性的作用，为此，研究列 P一 为系统的初始标识 ，可以用M={m。， 车区间运行安全问题具有重要的现实意义。 m：，…，m}来描述系统在某个时刻的状 态 ，其 中，m 目前 ，对铁路事故安全的分析方法较多 ，如灰色 表示库所P中所含有托肯的数 目(托肯用 圆点来表 关联分析法 、事故树分析法 、Petri网等n 。灰色关 示 ，它们在库所中的动态变化反应 了系统 的不同状 联分析法是对系统动态发展过程态势的比较分析 ， 态)； 即通过对有限的事故结果分析 ，从总体上得到对事 ，()={PI(P，t)∈A}以及Q(t)={Pl(t，P)∈A}分 故特性的认识 ，适用于寻求分析系统中各子系统 (或 别代表变迁的输入库所集和输出库所集。 因素)之间的数值关系 ，但不适合分析整体性的、不 库所与变迁的变化状态 ，如图1所示。 可分 的系统 。事故树分析法应用较为普遍 ，但它仅 适合描述规模不大的静态系统 ，无法分析动态系 统。Petri网描述问题 的能力很强 ，且非常适合分析 P P2 P 系统变化 的动态行为 。考虑Petri网所具有的优点 及列车在区间运行 的特点 ，本文采用Petri网对铁路 图1 库所与变迁 的变化状态 列车在区间运行安全状况进行动态分析。 图中(a)反映了变化前 的状态 ，库所P