------------------------SDT2GenSysTrace----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- GenSysTrace---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- 16-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! GenSysTrace)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------#()[w(!GMSC)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! d! !(d)[ r(! 6h!) "RoadCtrl_ Ctrl_1_16!* process RoadCtrlCtrl)][ q(! 6h!1 "SignalCtrl_ MasterCtrl_1!%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1---------------------------------------------------------------------------------------------------- ------------!%&()LinkEndpoints----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------------------_15!2 process SignalCtrlMasterCtrl)][ p(! 6h!4 "TrainSensCtrl_ MasterCtrl_1_14!5 process TrainSensCtrlMasterCtrl)][ o(! 6h!0 " TrackCtrl_ MasterCtrl_1_13!1 process TrackCtrlMasterCtrl)][ n(! 6h!) "GateCtrl_ Ctrl_1_12!* process GateCtrlCtrl)][ m(! 6h!- " CrossingCtrl_ Ctrl_1_11!. process CrossingCtrlCtrl)][ (! 6}!, PTrainSensCtrlCtrl_6_39!/ #process TrainSensCtrlCtrl)][ (! 6!, \ TrainSensCtrlCtrl_5_36!/ /process TrainSensCtrlCtrl)][ (! 6+!) SignalCtrlCtrl_3_35!, process SignalCtrlCtrl)][ (! 6o!, B TrainSensCtrlCtrl_4_32!/ process TrainSensCtrlCtrl)][ (! 6 !, gTrainSensCtrlCtrl_3_29!/ :process TrainSensCtrlCtrl)][ (! 6 !) m SignalCtrlCtrl_2_28!, @process SignalCtrlCtrl)][ (! 6  !( TrackCtrlCtrl_3_26!+ process TrackCtrlCtrl)][ (! 6 !, TrainSensCtrlCtrl_2_24!/ process TrainSensCtrlCtrl)][ (! 6 M!( TrackCtrlCtrl_2_23!+ process TrackCtrlCtrl)][ (! 6S!, &TrainSensCtrlCtrl_1_20!/ process TrainSensCtrlCtrl)][ (! 6r!) ESignalCtrlCtrl_1_19!, process SignalCtrlCtrl)][ }(! 6!( TrackCtrlCtrl_1_17!+ uprocess TrackCtrlCtrl)][k(! d)][D (!"   p p! ! !!I !$ wheelT(2.0000))][D C(!" : : A A! ! !D!I !$ :wheelT(2.0000))][D G(!";;V@V@!!!H!I !$ `;wheelT(2.0000))][& U(!??!qh!+!V!$ z?setSignalState!- ?'sig1track3cc1obj1', go)][D (!"V"V"!S!S!!I !$ wheelT(2.0000))][& (!!oh!}!!$ setSignalState!) ! 'track1cc1obj1', go)][ i(! 6])][& (!,!mh!nh!! setGate! @closed)][& (!h!mh!oh!!$ setSignalState!) 'track1cc1obj1', go)][& (!<<!}!mh!! askForGo!% _'track1cc1obj1')][& (!!oh!}!! enewTrain!( 'ts1track1cc1obj1')][& (!L!S!oh!! knewTrain!( 'ts1track1cc1obj1')][& (!  !mh!nh!! setGate! 9opened)][& (! !oh!  !!$ ?newSignalState!/ 'sig1track3cc1obj1', halt)][& (!!+!oh!!$ newSignalState!/  'sig1track3cc1obj1', halt)][& (!^^!qh!+!!$ getSignalState!) w'sig1track3cc1obj1')][& (!!ph!}!! }go!( 'ts2track3cc1obj1')][ (!dd!ph!}!)][& (! !  !ph!! [go!( 'ts2track3cc1obj1')][& (! !oh! M!!$ QnewSignalState!/ 'sig1track2cc1obj1', halt)][& (! B!  !qh!!$ getSignalState!) #'sig1track3cc1obj1')][& (!!ph!!! go!( 'ts1track3cc1obj1')][ (!pp!ph!!)][& (! L!  !ph!! go!( ['ts1track3cc1obj1')][& (!b!qh!+!! +go!) v'sig1track3cc1obj1')][& (! r! !oh!!$ 1newSignalState!/ 'sig1track2cc1obj1', halt)][  (!!qh!+!)][& (! !  !qh!! go!) 'sig1track3cc1obj1')][& !(! !qh! !!$ getSignalState!) 'sig1track2cc1obj1')][& (! !oh!}!!$ "newSignalState!/ 'sig1track1cc1obj1', halt)][& (!F!ph!o!! ogo!( 'ts2track2cc1obj1')][ #(!V V!ph!o!)][& (! P ! M!ph!!  go!( s 'ts2track2cc1obj1')][& (!$ ! M!qh!!$ s getSignalState!) 'sig1track2cc1obj1')][& (!!r!oh!!$ %newSignalState!/ 'sig1track1cc1obj1', halt)][& (! H!ph! !! go!( 'ts1track2cc1obj1')][& (!& !qh! !! go!) 'sig1track2cc1obj1')][ (!{ {!ph! !)][& (! '! M!ph!! go!(  'ts1track2cc1obj1')][ (! !qh! !)][& (! ,!( M!qh!! ` go!) 'sig1track2cc1obj1')][& (!ZZ!qh!r!!$ #getSignalState!) )n'sig1track1cc1obj1')][& (!\ \ !oh!  !!  go!% z 'track3cc1obj1')][ (!  !oh!*  !)][& (!  !mh!oh!!  go!% " 'track3cc1obj1')][& (!0 0 !ph! +!!  go!( N 'ts2track1cc1obj1')][ (! !ph! !)][& (!d| !}!ph!,! -go!( x'ts2track1cc1obj1')][& (!@ !}!qh!!$ xgetSignalState!) 'sig1track1cc1obj1')][& -(! B !oh! M!! Mgo!% 'track2cc1obj1')][& (! !ph!S!! S.go!( 'ts1track1cc1obj1')][& (!!qh!r!! rgo!) 'sig1track1cc1obj1')][ (!4$ 4!/oh! M!)][& y(!*!mh!oh!z! go!% 9'track2cc1obj1')][ (!: :!ph0!S!)][& (! !}!ph!! go!( -'ts1track1cc1obj1')][ (!Y,Y!qh!1r!)][& (!!}!qh!! ego!) 'sig1track1cc1obj1')][& ~(!!oh!}2!! go!% 3'track1cc1obj1')][ {(!6!oh!}!|)][& w(!f!mh!oh!x!3 go!% 'track1cc1obj1')][& u(!v!mh!rh!v! go!$  'road1cc1obj1')][& s(!4:!mh!nh!t! ^go!$ 'gate1cc1obj1')][9l(! 62!E)[8(!1 Simulation trace generated by SDL Simulator 4.0)]][j(! 65)][& S(! >f?!  !mh!T!$ >newSignalState!) >'track3cc1obj1', go)][& Q(! >*?!  !qh!6R!$ N>setSignalState!- >'sig1track3cc1obj1', go)][& O(!= =!oh!  !P!$ =setSignalState!) >'7track3cc1obj1', go)][& M(!h=h=!mh!oh!N!$ "=setSignalState!) ='track3cc1obj1', go)][& K(! <<!  !m8h!L! <askForGo!% <'track3cc1obj1')][& I(!<< <<!oh!  !J! ;newTrain!( Z<'ts1track39cc1obj1')][& E(!L;;!!oh!F! ;newTrain!( `;'ts1track3cc1obj1')][D A(!" >: >: : :! !: !B!I !$ :wheelT(2.0000))][D ?(!" 9 9 9 9! ! !@!I !$ S9wheelT(2.0000))][D =(!" 8; 8 09 09! ! !>!I !$ 8wheelT(2.0000))][D ;(!" "8 "8 |8 |8! ! !<!I !$ 7<wheelT(2.0000))][D 9(!" n7 n7 7 7! ! !:!I !$ -7wheelT(2.0000))][D 7(!" 6 6 7 7! != !8!I !$ ~6wheelT(2.0000))][D +(!" 2 2 `6 `6! ! !,!I !$ 2wheelT(2.0000))][& 5(!5>5!qh!r!6!$ 5setSignalState!/ 5'sig1track1cc1obj1', halt)][& 3(!4p5!}!mh!4! q4?noTrains!% 4'track1cc1obj1')][& 1(!b445!}!mh!2!$ &4newSignalState!+ q4'track1cc1obj1', halt)][& /(!@44!}!qh!0!$ 3setSignalState!/ &4'sig1track1cc1obj1', halt)][& -(!r3r3!oh!}!.! ,3AnewTrain!( 3'ts2track1cc1obj1')][& )(! 23! !oh!*! K2newTrain!( 2'ts2track1cc1obj1')][& '(!B11!rh!mh!(! 1newCars! 2true)][D %(!" 81 81 1 1! ! !&!I !$ 0CwheelT(2.0000))][D #(!" 0 0 0 0! ! !$!I !$ >0wheelT(2.0000))][D !(!" / / *0 *0! !D !"!I !$ /wheelT(2.0000))][D (!" / / v/ v/! ! ! !I !$ .wheelT(2.0000))][D (!" Eh. h. . .! ! !!I !$ 1.wheelT(2.0000))][D (!" - - . .! ! !!I !$ i-FwheelT(2.0000))][D (!" - - Z- Z-! ! !!I !$ ,wheelT(2.0000))][D (!" ' ' , ,! !G ! !I !$ 'wheelT(2.0000))][& (!, ,!qh! !!$ +setSignalState!- $,'sig1track2cc1obj1', goH)][& (! >++! M!mh!!$ *newSignalState!) \+'track2cc1obj1', go)][& (! *z+! M!qh!I!$ *setSignalState!- *'sig1track2cc1obj1', go)][& (!N* N*!oh! M!!$ *setSignalState!) b*'track2cJc1obj1', go)][& (!))!mh!oh!!$ )setSignalState!) )'track2cc1obj1', go)][& (! ")")! M!mhK!! (askForGo!% 6)'track2cc1obj1')][& (!( (!oh! M! ! U(newTrain!( ('ts1track2cc1obj1L')][& (! '2(! !oh!! ['newTrain!( ''ts1track2cc1obj1')][D (!"&&B'B'!S!SM!!I !$ &wheelT(2.0000))][D (!"4&4&&&!S!S!!I !$ %wheelT(2.0000))][D (!"%%N%%!S!S!!I !$ 5%wheelT(2.0000))][D (!"$$&%&%!S!S!!I !$ $OwheelT(2.0000))][D (!"$$r$r$!S!S!!I !$ #wheelT(2.0000))][D (!"d#d###!S!PS!!I !$ (#wheelT(2.0000))][D (!""" # #!S!S!!I !$ y"wheelT(2.0000))][& (!!!Q!qh!r!!$ !setSignalState!- !'sig1track1cc1obj1', go)][& (! f!!}!mh!!$  nRewSignalState!) !'track1cc1obj1', go)][& (! *!!}!qh!!$ S setSignalState!-  'sig1track1cc1obj1', go)][D (!"S b b  ! ! !!I !$ &wheelT(2.0000))][D (!" ~ ~  ! ! !!I !$ Tw~wheelT(2.0000))][D (!" | | T~ T~! ! !!I !$ Q|wheelT(2.0000))][& (! }}! M!mUh!! }}askForGo!% }'track2cc1obj1')][& (!(} (}!oh! M!! |newTrain!( K}'ts1track2cc1obVj1')][& (! 8||! !oh! ! {newTrain!( Q|'ts1track2cc1obj1')][D (!"{{{{!}!W}! !I !$ >{wheelT(2.0000))][D (!"zz*{*{!}!}!!I !$ zwheelT(2.0000))][D (!"zzXvzvz!}!}!!I !$ ywheelT(2.0000))][D (!"hyhyyy!}!}!!I !$ 1yYwheelT(2.0000))][D (!"xxyy!}!}!!I !$ ixwheelT(2.0000))][D (!"xxZxZx!}!Z}!!I !$ wwheelT(2.0000))][D (!"LwLwww!}!}!!I !$  wwheelT(2.0000))][D (!"r[rvv!}!}!!I !$ rwheelT(2.0000))][& (!\v\v!qh!+!!$ vsetSignalState!/ \uv'sig1track3cc1obj1', halt)][& (! tv!  !mh!! tnoTrains!% t'track3cc1obj1')][& (!uu!m]h!nh!! IusetGate! uopened)][& (! ^t0u!  !mh!!$ tnewSignalState!+ t^'track3cc1obj1', halt)][& (! tt!  !qh!!$ ssetSignalState!/ t'sig1track3cc1obj1', halt)][& (!ns ns!oh_!  !! #snewTrain!( s'ts2track3cc1obj1')][& (!~rs!}!oh!! {BrnewTrain!( {r`'ts2track3cc1obj1')][D (!"qq$r$r!!!!I !$ qwheelT(2.0000))][D (!"qqpqpq!!a!!I !$ pwheelT(2.0000))][D (!"bpbppp!!!!I !$ pwheelT(2.0000))][D (!"obopp!!!!I !$ mowheelT(2.0000))][D (!"nnToTo!!!!I !$ ncwheelT(2.0000))][D (!"FnFnnn!!!!I !$ nwheelT(2.0000))][D (!"mmmm!!d!!I !$ GmwheelT(2.0000))][D (!"gg8m8m!!!!I !$ gwheelT(2.0000))][& (!ell!qh!+!!$ flsetSignalState!- l'sig1track3cc1obj1', go)][& (! kHl!  !mh!!$ kfnewSignalState!) k'track3cc1obj1', go)][& (! vk l!  !qh!!$ :ksetSignalState!- k'sig1track3cc1obj1', go)][& g(!j j!oh!  !!$ jsetSignalState!) j'track3cc1obj1', go)][& (!jj!mh!nh!! hisetGate! 'jclosed)][& (!iJj!mh!oh!!$ xisetSignalState!) i'track3cc1obj1', go)][& (! iii!  !mh!! haskForGo!% -i'track3cc1obj1')][& (!h h!oh!  !! LhnewTjrain!( h'ts1track3cc1obj1')][& (!g.h!!oh!! RgnewTrain!( g'ts1track3cc1obj1')][D (!"ffk>g>g!S!S!!I !$ fwheelT(2.0000))][D (!"0f0fff!S!S!!I !$ ewhelelT(2.0000))][D (!"|e|eee!S!S!!I !$ EewheelT(2.0000))][D (!"dd"e"e!S!Sm!!I !$ }dwheelT(2.0000))][D (!"ddndnd!S!S!!I !$ cwheelT(2.0000))][D (!"`c`cncc!S!S!!I !$ cwheelT(2.0000))][D (!"bbcc!S!S!!I !$ pbwoheelT(2.0000))][D (!"``RbRb!S!S!!I !$ J`wheelT(2.0000))][& (!aa!}!mh!!p vaaskForGo!% a'track1cc1obj1')][& (!&a&a!oh!}!! `newTrain!( Da'ts1track1cc1obj1')][& (!q6``!S!oh!! _newTrain!( J`'ts1track1cc1obj1')][D (!"(_(___!}!}!!rI !$ ^wheelT(2.0000))][D (!"t^t^__!o!o!!I !$ =^wheelT(2.0000))][D (!"]]^^!s}!}!!I !$ u]wheelT(2.0000))][D (!" ] ]^^!o!o!!I !$ \wheelT(2.0000))]t[D (!"X\X\f]f]!}!}!!I !$ \wheelT(2.0000))][D (!"[[\\!o!o!!uI !$ h[wheelT(2.0000))][D (!"ZZ[[!}!}!!I !$ ZwheelT(2.0000))][D (!">!S!S!!I !$ wheelT(2.0000))][D (!" j j!  ! !!I !$ mwheelT(2.0000))][& (!ԣԣ!oh!}!! newTrain!( 'ts1track1cc1obj1')][& (!z!S!oh!! newTrain!( 'ts1track1cc1obj1')][& (!NN!oh!}!! newTrain!( g'ts2track1cc1obj1')][& }(! ^! !oh!~! "newTrain!( m'ts2track1cc1obj1')][D {(!"!o!o!|!I !$ wheelT(2.0000))][D y(!"BB!S!S!z!I !$ wheelT(2.0000))][D w(!" P P! ! !x!I !$ MwheelT(2.0000))][D u(!"ڝڝ!o!o!v!I !$ wheelT(2.0000))][D s(!"&&!S!S!t!I !$ wheelT(2.0000))][D q(!" r r 4 4! ! !r!I !$ 'wheelT(2.0000))][D o(!"!o!o!p!I !$ xwheelT(2.0000))][D m(!"  ̜̜!S!S!n!I !$ ɚwheelT(2.0000))][D k(!" V V  ! ! !l!I !$ wheelT(2.0000))][D i(!"dd!o!o!j!I !$ kwheelT(2.0000))][D g(!"!S!S!h!I !$ wheelT(2.0000))][D e(!" : : ! ! !f!I !$ wheelT(2.0000))][D c(!"HH!o!o!d!I !$ EwheelT(2.0000))][D a(!"ҖҖ!S!S!b!I !$ wheelT(2.0000))][D _(!"   ! ! !`!I !$ wheelT(2.0000))][D ](!"jj,,!o!o!^!I !$ wheelT(2.0000))][D [(!"xx!S!S!\!I !$ pwheelT(2.0000))][D Y(!"   ĕ ĕ! ! !Z!I !$ wheelT(2.0000))][D W(!"NN!o!o!X!I !$ wheelT(2.0000))][D U(!"\\!S!S!V!I !$ cwheelT(2.0000))][D S(!" ! ! !T!I !$ wheelT(2.0000))][D G(!"!o!o!H!I !$ ̍wheelT(2.0000))][D A(!"@@!S!S!B!I !$ <wheelT(2.0000))][D ;(!" ! ! !<!I !$ ŊwheelT(2.0000))][& Q(! !qh! !R!$ setSignalState!/ 'sig1track2cc1obj1', halt)][& O(! ! M!mh!P! noTrains!% 'track2cc1obj1')][& M(! `! M!mh!N!$ CnewSignalState!+ 'track2cc1obj1', halt)][& K(! 4$! M!qh!L!$ setSignalState!/ C'sig1track2cc1obj1', halt)][& I(! !oh! M!J! bnewTrain!( 'ts2track2cc1obj1')][& E(!D!o!oh!F! hnewTrain!( ̍'ts2track2cc1obj1')][& C(!!oh!}!D! ҌnewTrain!( 6'ts1track1cc1obj1')][& ?(!(!S!oh!@! newTrain!( <'ts1track1cc1obj1')][& =(!!oh!}!>! [newTrain!( 'ts2track1cc1obj1')][& 9(! 8! !oh!:! anewTrain!( Ŋ'ts2track1cc1obj1')][& 7(! !qh! !8!$ ˉsetSignalState!- /'sig1track2cc1obj1', go)][& 1(! J! M!qh!2!$ setSignalState!- m'sig1track2cc1obj1', go)][& 5(!::!qh!r!6!$ setSignalState!- N'sig1track1cc1obj1', go)][& 3(! ! M!mh!4!$ mnewSignalState!) 'track2cc1obj1', go)][& /(! !oh! M!0!$ ssetSignalState!) ׇ'track2cc1obj1', go)][& -(!Z!}!mh!.!$ `newSignalState!) Ć'track1cc1obj1', go)][& +(!L!}!qh!,!$ setSignalState!- `'sig1track1cc1obj1', go)][& %(!!mh!oh!&!$ SsetSignalState!) 'track2cc1obj1', go)][& )(!!oh!}!*!$ setSignalState!) ʅ'track1cc1obj1', go)][& '(!\!mh!nh!(! setGate! closed)][& #(!0 !mh!oh!$!$ setSignalState!) S'track1cc1obj1', go)][& !(!!rh!mh!"! YnewCars! false)][D (!" @ @! ! ! !I !$ wheelT(2.0000))][D (!" 2 2 ! ! !!I !$ wheelT(2.0000))][D (!" ~ ~ ؁ ؁! ! !!I !$ 3wheelT(2.0000))][D (!" ʀ ʀ $ $! ! !!I !$ wheelT(1.9999))][D (!" ` ` ! ! !!I !$ wheelT(2.0000))][D (!"  ! ! !!I !$ kwheelT(2.0000))][D (!" R R! ! !!I !$ wheelT(2.0000))][D (!" D D ! ! !!I !$ wheelT(2.0000))][D (!" ! ! !!I !$ EwheelT(2.0000))][D (!" 6 6! ! !!I !$ wheelT(2.0000))][D (!" ( ( ! ! !!I !$ wheelT(2.0000))][D (!" ! ! !!I !$ iwheelT(2.0000))][& (!88!qh!r!!$ setSignalState!/ Q'sig1track1cc1obj1', halt)][& (!!}!mh!! ]noTrains!% 'track1cc1obj1')][& (!ff!mh!nh!! %setGate! opened)][& (!: !}!mh!!$ newSignalState!+ ]'track1cc1obj1', halt)][& (!!}!qh!!$ setSignalState!/ 'sig1track1cc1obj1', halt)][& (!JJ!oh!}!! newTrain!( c'ts2track1cc1obj1')][& (! Z! !oh!! newTrain!( i'ts2track1cc1obj1')][D (!"  ! ! !!I !$ owheelT(2.0000))][D (!" L L! ! !!I !$ wheelT(2.0000))][D (!" > > ! ! !!I !$ wheelT(2.0000))][D (!" ! ! !!I !$ IwheelT(2.0000))]]}------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------@(!4)[!(! 1!!!3)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------E