Fig. 11From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train stationPoint automaton where NormalPos and ReversePos are the two states and reverse, Rconfirm, normal and Nconfirm are the communication channelsBack to article page