有色Petri网在平交道口安全性分析中的应用

孙超; 陈黎洁; 宋凤娟

有色Petri网在平交道口安全性分析中的应用

1.
中国铁道科学研究院集团有限公司标准计量研究所,北京 100081;
2.
北京全路通信信号研究设计院集团有限公司,北京 100073

基金项目: 中铁检验认证中心科研项目 (1852ZJ1303）；交控科技设计创新和学科发展基金项目（9907006510）。

详细信息

作者简介:
孙超，副研究员；陈黎洁，助理研究员。

中图分类号: U231.81:U298.1:TP39
计量
- 文章访问数: 90
- HTML全文浏览量: 1
- PDF下载量: 22
出版历程
- 刊出日期: 2018-09-24

Colored Petri net applied to safety analysis of level crossing

1.
Standard & Measurement Research Institute, China Academy of Railway Sciences Corporation Limited ,Beijing 100081, China;
2.
Beijing National Railway Research & Design Institute of Signal & Communication Ltd., Beijing 100073, China

摘要

摘要: 平交道口是铁路和公路的交汇点，一旦发生交通事故，不仅影响整个交通运营效率，还会引起严重的人员伤亡，因此，平交道口的安全性对轨道交通和公路交通都至关重要。为了分析平交道口的安全性，提出基于模型的方法对平交道口进行建模和基于模型检验的方法对平交道口的安全性进行分析。应用有色Petri网作为分析工具，建立平交道口部分功能的模型，设计平交道口部分安全分析的算法，验证了有色Petri网在平交道口安全性分析上的可行性。
- 平交道口 /
- 有色Petri网 /
- 模型检验
Abstract: The level crossing (LC) is the intersection of roads and railways. In the event of a collision accident, it not only affects the efficiency of railway operations, but also causes casualties. Therefore, safety of LC is identified as critical point for both railway and road transit. To analyze the safety of LC, this paper proposed model based method to establish the model of LC, and put forward model checking method to analyze the safety of LC. It was used colored Petri net as analysis tool, established LC function model, designed algorithm of safety analysis, and verified the feasibility of colored Petri net on LC safety analysis.
- level crossing (LC) /
- colored Petri net /
- model checking

HTML全文

参考文献(10)

[1]	杨兰. 铁路道路平交道口的事故分析和安全预防研究[D].石家庄：石家庄铁道大学， 2014.
[2]	SALMON P M, READ G J, STANTON N A, et al. The crash at Kerang: investigating systemic and psychological factors leading to unintentional non-compliance at rail level crossings[J]. Accident Analysis & Prevention, 2013, 50 (1):1278 - 1288.
[3]	古天龙．软件开发的形式化方法[M]．北京：高等教育出版社，2005．
[4]	吕继东，唐涛，李开成，等. 基于HCSP 的列控系统安全性建模与验证分析 [J]. 铁路计算机应用，2017，26（1）：11- 17.
[5]	Jensen K, Kristensen L M. Coloured Petri nets: modeling and validation of concurrent systems [M]. Germany: Springer Sciences & Business Media, 2009.
[6]	白锐，康随武. SCADE 在城市轨道交通ATP 软件建模中的应用 [J]. 铁路计算机应用，2014，23（1）： 37 - 40
[7]	CPN ASK-CTL Manual [EB/OL].[1996-4-1]. http://www.daimi.au.dk/designCPN/libs/askctl/ASKCTLmanual.pdf.
[8]	Mohamed Ghazel and El-Miloudi El-Koursi. Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study[J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2014,15 (3): 1123 – 1133.
[9]	Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS. 2012, 13 (2): 714 – 723.
[10]	Mohamed Ghazel. Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2009, 10 (4): 668 – 677.

施引文献(7)

期刊类型引用(3)

1.	杨文成. 基于BIM设计的道岔设备建模方法研究. 铁道勘察. 2020(01): 133-136 . 百度学术
2.	康峰，韩峰. 基于BIM的三维铁路道岔建模方法研究. 铁道科学与工程学报. 2017(04): 716-720 . 百度学术
3.	韩峰，袁锋，康峰. 基于VBA的轨道结构三维数字化建模方法研究. 铁道科学与工程学报. 2017(11): 2352-2357 . 百度学术