The DONS rail scheduling system
This paper describes a system for automated rail scheduling currently being
developed at Dutch Rail (NS).
This system will be used initially to base infrastructure decisions upon.
Rail infrastructure poses constraints upon the rail schedules that can be
made within it, because of the large extent in which trains share it.
Good infrastructure is the one that allows good schedules.
The Petri net based ExSpect editor is used to model infrastructure variants and
to help converting them into schedule constraints.
With OR techniques, schedules are then made generated.
ExSpect is then used to simulate the execution of these schedules within their
infrastructure.