Fig. 16From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train stationPoint driver timed automaton with two point engagement where start, point1, point2, error, watchdog1, watchdog2 and all \(\_\) done are the states, activate, act \(\_\) point1, confirm1, act \(\_\) point2, confirm2, toperror and topconfirm are the channels and x is the clock variableBack to article page