This document is a contribution to the PRaCoSy (Peoples Republic of
China Railway Computing System) project, a collaboration between the
Chinese Ministry of Railways and UNU/IIST.  It builds on previous work
that formalized the notions of railway networks, timetables and
scheduling.  It aims to deal with two problems: (i) how to reschedule
as well as schedule trains (ii) how to distribute these tasks.