Skip to main content
Complex Adaptive Systems Modeling
Fig. 17 | Complex Adaptive Systems Modeling

Fig. 17

From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station

Fig. 17

Light driver timed automaton with controlling two lights. start, occupancy, light1, light2, light1Red, light2Red, watchdog1, watchdog2,error, send \(\_\) confirmation, greenall, conra, conrac, conrb, conrbc, cancelwait, cancel, light2red, light2redc, train \(\_\) leave and exit are the states, signalorder, cancelsignal, checkOccu, confirmOccu, confirmNoccu, dogreen1, dored1, confirmgreen1, confirmred1, lterror, dogreen2, dored2, confirmgreen2, confirmred2, allgreen, trainEnter, trainLeave and ended are the channels, a is a boolean variable and x is the clock variable

Back to article page