Modeling Basic Components of Railway Systems Using Timed Arc Petri Nets | IEEE Conference Publication | IEEE Xplore