A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess

Figure 7

Possible situation of trains occupy several sections at the same time. The situation is safe.