Fig. 13From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train stationRoute automaton where trackOccupied, checkoccupied, emptyTrack and checkempty are the locations, trainEnter, trainLeave, checkOccu, confirmOccu and confirmNoccu are the communication channels and tmp is the local boolean variableBack to article page