METHOD AND SYSTEM FOR PREVENTING OVERFILLING OF A TRACK SYSTEM

摘要

The invention relates to a decision procedure in combinational logic which requires a computing time of nm*n for determining the congestion of a railtrack system. The railtrack system supports n trains, each with a route length of m itineraries. The work steps before the request for the provision of a route can be reduced by the following iterative steps: a) verification of whether a train can also reach the next immediate track sector of a route (ST1:R1); b) verification for a two-train variation of whether a reference position of the first train prevents the second train from travelling on its route (ST2:R2); c) new dependencies are created using transitivity (ST4) and for combinations of two trains, a verification is made whether a cogent sequence exists (ST5:R3), whereby the step c) is iterated until no new dependencies occur or no train can reach its destination (CYC4).