-
题名有色Petri网在平交道口安全性分析中的应用
被引量：4
- 1
-
-
作者
孙超
陈黎洁
宋凤娟
-
机构
中国铁道科学研究院集团有限公司标准计量研究所
北京全路通信信号研究设计院集团有限公司
-
出处
《铁路计算机应用》
2018年第9期52-56,62,共6页
-
基金
中铁检验认证中心科研项目(1852ZJ1303)
交控科技设计创新和学科发展基金项目(9907006510)
-
文摘
平交道口是铁路和公路的交汇点,一旦发生交通事故,不仅影响整个交通运营效率,还会引起严重的人员伤亡,因此,平交道口的安全性对轨道交通和公路交通都至关重要。为了分析平交道口的安全性,提出基于模型的方法对平交道口进行建模和基于模型检验的方法对平交道口的安全性进行分析。应用有色Petri网作为分析工具,建立平交道口部分功能的模型,设计平交道口部分安全分析的算法,验证了有色Petri网在平交道口安全性分析上的可行性。
-
关键词
平交道口
有色PETRI网
模型检验
-
Keywords
level crossing （LC）
colored Petri net
model checking
-
分类号
U231.81
[交通运输工程—道路与铁道工程]
U298.1
[交通运输工程—交通运输规划与管理]
-
