摘要：平交道口是铁路和公路的交汇点,一旦发生交通事故,不仅影响整个交通运营效率,还会引起严重的人员伤亡,因此,平交道口的安全性对轨道交通和公路交通都至关重要.为了分析平交道口的安全性,提出基于模型的方法对平交道口进行建模和基于模型检验的方法对平交道口的安全性进行分析.应用有色Petri网作为分析工具,建立平交道口部分功能的模型,设计平交道口部分安全分析的算法,验证了有色Petri网在平交道口安全性分析上的可行性.
分类：期刊> 自然科学与工程技术> 信息科技> 计算机软件及计算机应用
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > Pж(AJ) 文摘杂志(俄) > 哥白尼索引(波兰) > 剑桥科学文摘 > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：平交道口 有色petri网 模型检验
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
