Logical model of railway station objects

Problems are considered of creating the train dispatching systems, able to predict potential conflict situations. For this purpose a formal method is developed of railway objects (stations, spans) structure representation in the form of a logical functions system, based on which is the number of routes. Logical relations between the routes (compatible, incompatible, conflicting) are determined.