------------------------SDT2’’’’1 Initiator----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- 1(’’’’’’’’’’’’’’’’’’’’’’’’Initiator------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ’’’’5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------’’’’()[(! Ü! 22!(d)[h(! 622! x°)[k(! 6KK)[n(! 6K–! )]][ q(! 6FK)][2(! 6 –! Čd!S)[8(! )][°(!„ś„,!"„,„ś)[(! 6„,!Z)][3’(! 6ī,! ,–!S)[8(! disconnected)][ā(!„Ā„ō!"„ō„Ā)[€(! 6 ō! Čd!S!)[8(! ICONreq)][¤(!„X„Š!"„Š„X)[6ƒ(! 6 Š! Čd!S)[8(! counter := 1)][§(!„ī„ !"„ „ī)[†(! 6  ! Čd!S!)[8(! CR)][Ŗ(!„„„¶!"„¶„„)[6‰(! 6 ¶! Čd!S)[8(! SET (now + p, T))][­(!„„L!"„L„)[(! 6„L!Z)][3Œ(! 6 L! Čd!S)[8(! Wait)]]]]]]]]]]][å(!"„Ā„ŪāŪāō!"āō„Ā)[w(! 6~ō! Čd!S!)[8(! DR)][›(!āXāŠ!")R! Čd)[8(! SET (now + p, T))][=(!~¶~č!"~č~¶)[(! 6~č!Z)][3ć(! 6č! Čd)[8(! sending)]]]]]]]]]]+()[(! x! 22!(d)[³(! 62! ā)[¶(! 6K)[¹(! 6–! )]][ ¼(! 6›K)][3ę(! 6śČ! ,–)[8( 1-------------------------------------------------2-------------------------------------------------3-------------------------------------------------3-------------------------------------------------  ’’’’’’’’’’’’’’’’’’’’’’’’!%()PageOrder-------------------------------------1------------------------------------------------------------------------------------------------------------------------------------------------------- --------%’’’’-------- --------’’’’! Wait)][d(!"^w–w–!"–^)[ (! 62! Čd!)[8(! CC)][g(!–ō–&!"–&–ō)[6(! 62&! Čd)[8(! RESET (T))][j(!–Š–¼!"–¼–Š)[6(! 62¼! Čd)[8(! number := one)][m(!– –R!"–R– )[(! 62R! Čd!)[8(! ICONconf)][p(!–¶–č!"–č–¶)[(! 6–č!Z)][3(! 62č! Čd)[8(! connected)]]]]]]]]]]][L(!^!"^)[õ(! 6,! Čd!)[8(! T)][O(!ō&!"&ō)[ ų(! 6,&! Čd)[8(! counter < 4)][X(!Š¼!"¼Š)[8(! 6©Š! true)][(! 6,¼! Čd!)[8(! CR)][[(! R!"R )[6(! 6,R! Čd)[8(! counter := counter + 1)][^(!¶č!"č¶)[6(! 6,č! Čd)[8(! SET (now + p, T))][a(!L~!"~L)[(! 6~!Z)][3 (! 6,~! Čd)[8(! Wait)]]]]]]]]][R(!ōXŠXм!"мōX)[8(! 6&&! false)][ū(! 6&¼! Čd!)[8(! IDISind)][U(!Š ŠR!"ŠRŠ )[(! 6ŠR!Z)][3ž(! 6&R! Čd)[8(! disconnected)]]]]]]]]][@(!"^w„w„!"„^)[é(! 6 ! Čd!)[8(! DR)][C(!„ō„&!"„&„ō)[6ģ(! 6 &! Čd)[8(! RESET (T))][F(!„Š„¼!"„¼„Š)[ļ(! 6 ¼! Čd!)[8(! IDISind)][I(!„ „R!"„R„ )[(! 6„R!Z)][3ņ(! 6 R! Čd)[8(! disconnected)]]]]]]]]]][3æ(! 6āČ! ,–)[8(! connected)][1(!"x^xw~w~!"~&3 ! true)][6¦(! 6¶R! Čd!S)[8(! number := succ( number))][Ö(!¶č!"č¶)[(! 6č!Z)][3©(! 6¶č0()[(! lx! 22!(d)[s(! 622! :ā)[v(! 6KK)[y(! 6K–! )]][ |(! 6K)][3—(! 6¼Č! ,–!S)[8(! sending)][Ü(!"R^Rw&w&!"&R^)[Æ(! 6! Čd!S!)[8(! T)][ß(!&ō&&!"&&&ō)[ ‚(! 6Ā&! Čd!S)[8(! counter < 4)][µ(!ĀX,X,¼!",¼ĀX)[8(! 6Eq! false)][…(! 6ȼ! Čd!S!)[8(! IDISind)][ø(!, ,R!",R, )[(! 6,R!Z)][3ˆ(! 6ČR! Čd!S)[8(! disconnected)]]]]][»(!&Š&¼!"&¼&Š)[8(! 6?Š! true)][‹(! 6¼! Čd!S!)[8(! DT( number, d))][¾(!& &R!"&R& )[6Ž(! 6ĀR! Čd!S)[8(! counter := counter + 1)][Į(!&¶&č!"&č&¶)[6‘(! 6Āč! Čd!S)[8 (! SET(now + p, T))][Ä(!&L&~!"&~&L)[(! 6&~!Z)][3”(! 6Ā~! Čd!S)[8(! sending)]]]]]]]]]]]]][Ź(!"!R^Rww!"R^)[(! 6¶! Čd!S!)[8(! AK( num))][Ķ(!ō&!"&ō)[6 (! "6¶&! Čd!S)[8(! RESET (T))][Š(!м!"¼Š)[ £(! 6¶¼! Čd!S)[8(! num = number)][Ł(!*¶ī ī$R^Rwrwr!"rR^)[+č(! 6! Čd!S)[8(! IDISreq)]]]]]]}---------------------------------------------------------------------------------------------------’’’’  & &&!"&&¶ī)[8(! 6R¼! false)][(! 6& !“)][)‚()]][Ó(! R!"R )[8(! 6(!4ė!5!7)[!(! 1!)[!(! 2!)[!(! 3!)]]]}-------------------------------------------------------------------------------------------------------------------------‡’’’’x^)[×(! 6! Čd!)[8(! IDATreq(d))][4(!~ō~&!"~&~ō)[Ś(! 6&! Čd!)[8(! DT( nu'mber, d))][7(!~Š~¼!"~¼~Š)[6Ż(! 6¼! Čd)[8(! counter := 1)][:(!~ ~R!"~R~ )[6ą(! 6 ()[8(! process Initiator)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------)’’’’āŠāX)[z(! 6~Š! Čd!S!)[8(! IDISind)][ž(!āīā !"ā āī)[(! 6ā !Z)][3}(! 6~* ! Čd!S)[8(! disconnected)]]]]]]]]]][9•(! 6d,! !S)[8(!k DCL counter Integer, d ISDUType, num, number Sequencenumber; TIMER T; SYNONYM p Duration = 5;)]]]]}]]]]}ū’’’’][((!x^x!"xx^)[Ī(! 6! Čd!)[8(! DR)][+(!xōx&!"x&xō)[Ń(! 6&!, Čd!)[8(! IDISind)][.(!xŠx¼!"x¼xŠ)[(! 6x¼!Z)][3Ō(! 6¼! Čd)[8(! disconnected)]]]]]]][-(!"x^xwrwr!"rx^)[Ā(! 6! Čd!)[8(! IDISreq)][(!rōr&!"r&rō)[Å.(! 6&! Čd!)[8(! IDISind)]["(!rŠr¼!"r¼rŠ)[Č(! 6¼! Čd!)[8(! DR via IPDU)][%(!r /rR!"rRr )[(! 6rR!Z)][3Ė(! 6R! Čd)[8(! disconnected)]]]]]]]]]]]]}}----------------------------------------------------------------------------³’’’’! Čd!S)[8(! connected)]]]]]]]]]]][Ē(!"R^RwFwF!"FR^)[+š(! 6ā! Čd!S)[8(! IDATreq)]]][ė(!"#()[w(!GSDL)]}"–&ō)[(! 6– !“)][)‚()]]]]]}-----------------------------------------------------------------------------------------------------------------------------------’’’’