A Petri net model for analysis, optimisation, and control of railway networks and train schedules | IEEE Conference Publication | IEEE Xplore