Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment | IEEE Journals & Magazine | IEEE Xplore