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, model based method is proposed in this paper to establish the model of LC, and model checking method is proposed to analyze safety of LC. It is used Colored Petri Net suite as analysis tool, established LC function model, designed algorithm of safety analysis, and showed the feasibility of Colored Petri Net on LC safety analysis.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.