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

摘要

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