------------------------SDT2  Pr1--------------------------------------------------------------------------------------------------------------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------1------------------------------------------------- Pr1------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! Process Pr1)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------#()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ q(! 6)][2t(! 6Rd! d)[8(! )][z(!!")[(! 6!Z)][3w(! 6R! d)[8(! Idle)][(!^!"^)[}(! 6R! d!)[8(! Go(Param))][(!&!"&)[6(! 6R&! d)[8(! ExtSender:=sender)][(!!")[ (! 6R! d)[8(! param)][(!" 9,9,!", )[8(! 6ER! StartInstance1)][6(! 6! ,)[8(!@ '' /*#CODE printf("Signal Go received in Pr1:Instance1\n"); */)][(!",,33L!"L,)[(! 63! )][ (! 6RL! d)[8(! DynPr1)][(!!")[(! 6!Z)][3(! 6R! d)[8(!  Wait)][(!Fx!"xF)[(! 6Rx! d!)[8(! Terminating)][(!!")[(!(!4!5!7)[!(! 1!!3)]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------P!%()PageOrder-------------------------------------1------------------------------------------------------------------------------------------------------------------------------------------------------- -------- ----------------!%()HeadingText-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------ ------------()[w(!GSDL)]}------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- 6R! d!)[8(! Ok(Param) to ExtSender)][(!r!"r)[(! 6!Z)][3(! 6R! d)[8(! -)]]]]]]]]]]]]][(! !" )[8(! 6R! StartInstance2)][6(! 6 ! ,)[8(!@ '' /*#CODE printf("Signal Go received in Pr1:Instance2\n"); */)][(!L!"L)[)()]]]][(!" 9@9@!"@ )[8(! 6YR! else)][6(! 6! ,)[8(!< '' /*#CODE printf("Wrong signal parameter received\n"); */)][(!"@@!"@)[(! 6!)][)()]]]]]]]]]]]]][9(! 62! )[8(!# DCL Param Integer, ExtSender PId;)]]]]}teger, ExtSender PId;)]]]]}er PId;)]]]]}--------------------------------------------------------------------------------------------------------------j