Text this: A Petri Net Model of Train Operation Simulation for Harmonizing Train Timetables of Neighbor Dispatching Sections