Formal Approach to Railway Applications - Formal Methods and Hybrid Real-Time Systems - page 505

2.2 Rail Net Development

The Rail Net Development System takes care of the rail net management. That
is for instance insertion or removal of lines and stations, changing parameters
(like speed) of lines, etc.
Chapter 8 in [118] shows how to generate optimum railway net layout and its
timetable as an indivisible pair.
The problem can be also solved by Petri nets, see [12]. Formal representation
of track topologies can be found in [68, 95]. For graphical systems for the visual
simulation and control of railway network, see [27, 127].

2.3 Timetable Generation

Timetables belong to the most important entities in railway system from both
the operator's and passenger's point of view. There are several different ways
how to present timetable. From the operator's point of view the most important
form of timetable is called ' running map ' [13, 46, 131, 117, 111].
From the passenger's point of view timetable can be seen as a printed book,
set of all departures/arrivers at stations, web-based travel planning application,
train or lines booklets, etc.
Section 4.2.1 of the [118] gives a general formal model (data structure), from
which all other forms can be easily derived. Also many others papers deals with
timetabling from the formal point of view. We refer to some of them [45, 47, 67,
69, 70, 83, 102, 115, 129].

2.4 Scheduling and Rescheduling

One can talk about a trac being on schedule or not. In particular one can talk
about trac being delayed. For a trac to be on schedule, the trac must be
one of the tracs allowed by the schedule.
The whole chapter 15 in [118] deals with the rescheduling problem. Scheduling
and rescheduling of trains from the formal point of view is also described in [20].
Usage of genetic algorithms in train scheduling problem can be found in [29]. A
duration Model for Railway scheduling is shown in [34].

2.5 Other Resource Planning

Staff, monies, and auxiliary resources need also be managed.
Among auxiliary resources we include: car and wagon cleaning etc.; car and
wagon maintenance and repair equipment; freight loading & unloading trucks; etc.
Their physical and temporal availability, i.e. allocation and scheduling, subject
to various rules and regulations, is part of station management.
We refer to chapter 8 in [118] and to [28,35] for more details about this topic.

2.6 Maintenance Planning

By maintenance we do not mean only regular check of all systems (assemblies,
etc.) in the depot, but we present maintenance in a more general sense. We
understand maintenance as a set of all activities, which must be done with