Identification of Railway Transport Systems using stochastic P-timed Petri nets model | IEEE Conference Publication | IEEE Xplore