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

Colored Petri net applied to safety analysis of level crossing

平交道口是铁路和公路的交汇点,一旦发生交通事故,不仅影响整个交通运营效率,还会引起严重的人员伤亡,因此,平交道口的安全性对轨道交通和公路交通都至关重要。为了分析平交道口的安全性,提出基于模型的方法对平交道口进行建模和基于模型检验的方法对平交道口的安全性进行分析。应用有色Petri网作为分析工具,建立平交道口部分功能的模型,设计平交道口部分安全分析的算法,验证了有色Petri网在平交道口安全性分析上的可行性。

The level crossing （LC） is the intersection of roads and railways. In the event of a collision accident, it not only afects the efciency of railway operations, but also causes casualties. Therefore, safety of LC is identifed 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.