Return to Article Details Modeling of the Safety and the Performance of Railway Operation via Stochastic Petri Nets Download Download PDF