*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,21,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,23,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,34,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,92,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,126,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,147,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,215,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,221,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,237,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,251,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,261,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,282,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,313,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,331,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,335,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,350,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,107,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,112,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,117,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,122,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,145,9) 2 GENERATOR String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,77,11) 2 GENERATOR Array #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,165,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,172,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,193,11) 2 GENERATOR Own #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,353,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,363,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,162,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,163,9) *********************************************************************** ** SYSTEM Concuro ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy,4,1,8) *********************************************************************** 2 SIGNAL requestWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),2,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),141(135,85),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),120(17,52),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),231(17,77),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),276(17,97),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),285(17,112),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),294(17,127),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),303(17,142),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),312(17,157),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),321(17,172),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),330(17,187),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),339(17,202),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),199(95,90),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1) SAVE #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),161(120,130),1,1) 2 SIGNAL approveWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),3,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),142(135,60),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),121(82,55),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),232(87,77),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),277(87,97),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),286(87,112),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),295(87,127),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),304(87,142),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),313(87,157),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),322(87,172),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),331(87,187),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),340(87,202),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),158(60,140),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),125(50,140),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),125(55,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),125(60,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),125(55,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),125(60,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),125(60,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),125(60,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),125(60,135),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),125(55,135),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),198(95,17),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1) 2 SIGNAL requestRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),4,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),150(135,130),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),208(92,117),1,1) SAVE #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),155(125,65),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),120(17,40),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),159(17,57),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),168(17,72),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),177(17,87),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),186(17,102),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),195(17,117),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),213(17,132),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),222(17,147),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),231(17,162),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),240(17,177),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),128(40,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),128(45,110),1,1) 2 SIGNAL approveRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),5,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),151(135,170),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),207(92,207),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),121(97,40),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),160(112,57),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),169(112,72),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),178(112,87),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),187(112,102),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),196(112,117),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),214(112,132),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),223(112,147),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),232(112,162),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),241(112,177),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),122(45,155),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),122(40,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),122(45,150),1,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),122(45,150),1,1) 2 SIGNAL consumerXReadItemY #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),6,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),123(39,112),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),189(17,107),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1) 2 SIGNAL producerXWroteItemY #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),179(20,175),7,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),123(39,112),2,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),189(17,107),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1) 2 NEWTYPE RandomControl #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,26,9) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,29,18) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,31,18) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,33,18) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,36,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,38,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,40,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,42,37) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,44,37) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,46,37) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,48,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,50,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,52,33) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,55,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,57,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,59,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,61,44) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,63,44) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,65,44) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,67,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,69,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,71,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,74,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,76,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,78,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,80,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,82,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,84,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,86,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,88,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,90,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,93,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,95,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,97,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,99,38) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,101,38) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,103,38) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,105,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,107,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,109,30) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,112,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,115,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,117,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,119,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,121,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,123,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,125,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,127,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,129,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,131,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,134,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,136,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,138,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,140,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,142,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,144,28) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,146,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,148,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,150,24) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,153,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,155,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,157,36) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,160,29) OPERATOR #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,162,18) 3 OPERATOR Random #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,28,5) 3 OPERATOR Random #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,30,5) 3 OPERATOR Random #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,32,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,35,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,37,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,39,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,41,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,43,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,45,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,47,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,49,5) 3 OPERATOR Erlang #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,51,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,54,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,56,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,58,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,60,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,62,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,64,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,66,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,68,5) 3 OPERATOR HyperExp2 #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,70,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,73,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,75,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,77,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,79,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,81,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,83,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,85,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,87,5) 3 OPERATOR NegExp #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,89,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,92,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,94,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,96,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,98,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,100,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,102,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,104,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,106,5) 3 OPERATOR Uniform #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,108,5) 3 OPERATOR Draw #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,111,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,114,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,116,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,118,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,120,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,122,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,124,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,126,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,128,5) 3 OPERATOR Geometric #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,130,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,133,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,135,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,137,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,139,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,141,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,143,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,145,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,147,5) 3 OPERATOR Poisson #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,149,5) 3 OPERATOR RandInt #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,152,5) 3 OPERATOR RandInt #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,154,5) 3 OPERATOR RandInt #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,156,5) 3 OPERATOR DefineSeed #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,159,5) 3 OPERATOR Seed #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\include\adt\random.pr,161,5) 3 OPERATOR = 3 OPERATOR /= 3 OPERATOR #code 3 OPERATOR copy 2 CHANNEL ProducerDongle #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),140(130,72),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),125(2,42),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),203(90,7),1,1) 2 CHANNEL ThisWayOrTheHighway #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),122(45,102),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),194(5,115),1,1) 2 CHANNEL ConsumerDongle #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),149(132,152),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),212(87,217),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),125(5,45),1,1) 2 BLOCK Producers #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk,4,1,7) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),134(130,30),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),134(130,30),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),134(130,30),1,1) 2 BLOCK ConcuroBlock #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk,4,1,7) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),119(110,100),1,1) 2 BLOCK Consumers #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk,4,1,7) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),137(130,185),1,1) CHANNEL #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),137(130,185),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Concuro.ssy(1),137(130,185),1,1) *********************************************************************** ** BLOCK Producers ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk,4,1,7) *********************************************************************** 3 SIGNALROUTE ProducerLine1 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),119(42,42),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),119(42,42),1,1) 3 SIGNALROUTE ProducerLine2 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),230(57,67),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),230(57,67),1,1) 3 SIGNALROUTE ProducerLine3 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),275(57,87),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),275(57,87),1,1) 3 SIGNALROUTE ProducerLine4 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),284(57,102),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),284(57,102),1,1) 3 SIGNALROUTE ProducerLine5 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),293(57,117),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),293(57,117),1,1) 3 SIGNALROUTE ProducerLine6 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),302(57,132),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),302(57,132),1,1) 3 SIGNALROUTE ProducerLine7 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),311(57,147),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),311(57,147),1,1) 3 SIGNALROUTE ProducerLine8 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),320(57,162),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),320(57,162),1,1) 3 SIGNALROUTE ProducerLine9 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),329(57,177),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),329(57,177),1,1) 3 SIGNALROUTE ProducerLine10 #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),338(57,192),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),338(57,192),1,1) 3 PROCESS Producer #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),116(95,35),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),116(95,35),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),116(95,35),1,1) 3 PROCESS Producer2 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),224(95,65),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),224(95,65),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),224(95,65),1,1) 3 PROCESS Producer3 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),245(95,90),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),245(95,90),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),245(95,90),1,1) 3 PROCESS Producer4 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),248(95,105),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),248(95,105),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),248(95,105),1,1) 3 PROCESS Producer5 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),251(95,120),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),251(95,120),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),251(95,120),1,1) 3 PROCESS Producer6 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),254(95,135),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),254(95,135),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),254(95,135),1,1) 3 PROCESS Producer7 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),257(95,150),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),257(95,150),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),257(95,150),1,1) 3 PROCESS Producer8 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),260(95,165),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),260(95,165),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),260(95,165),1,1) 3 PROCESS Producer9 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),263(95,180),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),263(95,180),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),263(95,180),1,1) 3 PROCESS Producer10 #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),266(95,195),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),266(95,195),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producers.sbk(1),266(95,195),1,1) *********************************************************************** ** PROCESS Producer ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),143(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),128(135,15),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),134(65,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),134(65,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),176(65,185),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),167(60,125),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),167(60,125),1,1) *********************************************************************** ** PROCESS Producer2 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),134(50,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),116(125,15),8,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),137(55,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),137(55,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),176(55,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1) *********************************************************************** ** PROCESS Producer3 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),134(55,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),116(130,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),119(60,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),128(55,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),128(55,120),1,1) *********************************************************************** ** PROCESS Producer4 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),134(60,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),116(135,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),119(65,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),128(60,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),128(60,120),1,1) *********************************************************************** ** PROCESS Producer5 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),134(55,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),116(130,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),119(60,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),128(55,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),128(55,120),1,1) *********************************************************************** ** PROCESS Producer6 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),134(60,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),116(135,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),119(65,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),128(60,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),128(60,120),1,1) *********************************************************************** ** PROCESS Producer7 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),134(60,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),116(135,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),119(65,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),128(60,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),128(60,120),1,1) *********************************************************************** ** PROCESS Producer8 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),134(60,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),116(135,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),119(65,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),128(60,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),128(60,120),1,1) *********************************************************************** ** PROCESS Producer9 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),134(60,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),116(135,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),137(65,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),119(65,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),128(60,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),128(60,120),1,1) *********************************************************************** ** PROCESS Producer10 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr,4,1,9) *********************************************************************** 4 TIMER walkingTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),5,18) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),134(55,85),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),3,18) 4 DCL someTime #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),3,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),5,9) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),2,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),3,9) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,14) 4 DCL numberToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),2,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,19) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),1,1) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),7,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),4,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,33) 4 SYNTYPE iLikeToWrite #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),116(130,10),9,9) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),140(30,30),2,20) TASK #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),1,20) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),137(60,65),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),119(60,180),1,1) 4 STATE ForcedToWait #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),128(55,120),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),128(55,120),1,1) *********************************************************************** ** BLOCK ConcuroBlock ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk,4,1,7) *********************************************************************** 3 SIGNALROUTE ProduceMe #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),197(95,47),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),197(95,47),1,1) 3 SIGNALROUTE LineOut #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),188(45,97),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),188(45,97),1,1) 3 SIGNALROUTE ConsumeMe #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),206(92,157),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),206(92,157),1,1) 3 PROCESS Io #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\ConcuroBlock.sbk(1),185(70,95),1,1) *********************************************************************** ** PROCESS Io ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr,4,1,9) *********************************************************************** 4 DCL numberWritten #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),119(130,15),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,22) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,29) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,27) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,13) 4 DCL writeID #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),119(130,15),3,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,14) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,21) 4 DCL writePID #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),119(130,15),4,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,36) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),3,1) 4 DCL readID #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),119(130,15),5,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,13) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,20) 4 DCL readPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),119(130,15),6,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,20) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),3,1) 4 STATE Phase1 #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),122(60,35),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),122(60,35),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1) 4 STATE Phase2 #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1) *********************************************************************** ** BLOCK Consumers ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk,4,1,7) *********************************************************************** 3 SIGNALROUTE ConsumerLine1 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),119(48,30),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),119(48,30),1,1) 3 SIGNALROUTE ConsumerLine2 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),158(70,47),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),158(70,47),1,1) 3 SIGNALROUTE ConsumerLine3 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),167(70,62),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),167(70,62),1,1) 3 SIGNALROUTE ConsumerLine4 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),176(70,77),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),176(70,77),1,1) 3 SIGNALROUTE ConsumerLine5 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),185(70,92),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),185(70,92),1,1) 3 SIGNALROUTE ConsumerLine6 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),194(70,107),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),194(70,107),1,1) 3 SIGNALROUTE ConsumerLine7 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),212(70,122),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),212(70,122),1,1) 3 SIGNALROUTE ConsumerLine8 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),221(70,137),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),221(70,137),1,1) 3 SIGNALROUTE ConsumerLine9 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),230(70,152),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),230(70,152),1,1) 3 SIGNALROUTE ConsumerLine10 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),239(70,167),1,1) CONNECTION #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),239(70,167),1,1) 3 PROCESS Consumer #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),116(120,30),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),116(120,30),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),116(120,30),1,1) 3 PROCESS Consumer2 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),131(120,50),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),131(120,50),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),131(120,50),1,1) 3 PROCESS Consumer3 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),134(120,65),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),134(120,65),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),134(120,65),1,1) 3 PROCESS Consumer4 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),137(120,80),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),137(120,80),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),137(120,80),1,1) 3 PROCESS Consumer5 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),140(120,95),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),140(120,95),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),140(120,95),1,1) 3 PROCESS Consumer6 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),143(120,110),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),143(120,110),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),143(120,110),1,1) 3 PROCESS Consumer7 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),146(120,125),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),146(120,125),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),146(120,125),1,1) 3 PROCESS Consumer8 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),149(120,140),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),149(120,140),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),149(120,140),1,1) 3 PROCESS Consumer9 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),152(120,155),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),152(120,155),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),152(120,155),1,1) 3 PROCESS Consumer10 #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr,4,1,9) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),155(120,170),1,1) SIGNALROUTE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),155(120,170),1,1) REFERENCE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumers.sbk(1),155(120,170),1,1) *********************************************************************** ** PROCESS Consumer ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),125(145,15),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),137(65,95),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),167(45,175),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),125(145,15),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),167(45,175),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),125(145,15),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),125(145,15),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),125(145,15),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),131(65,75),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),131(65,75),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),173(65,200),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1) *********************************************************************** ** PROCESS Consumer2 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),143(140,15),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),131(60,95),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),143(140,15),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),143(140,15),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),122(45,155),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),143(140,15),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),143(140,15),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),134(60,75),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),134(60,75),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),116(60,200),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),125(60,135),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),125(60,135),1,1) *********************************************************************** ** PROCESS Consumer3 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer4 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),143(135,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),131(55,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),119(35,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),143(135,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),119(35,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),143(135,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),122(40,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),143(135,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),128(40,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),143(135,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),128(40,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),134(55,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),134(55,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),116(55,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),125(55,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),125(55,130),1,1) *********************************************************************** ** PROCESS Consumer5 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer6 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer7 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer8 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer9 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),125(60,130),1,1) *********************************************************************** ** PROCESS Consumer10 ** <> ** #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr,4,1,9) *********************************************************************** 4 TIMER coolTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),143(140,10),1,7) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),5,21) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),131(60,90),1,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),119(40,170),1,21) 4 DCL theseTimes #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),143(140,10),3,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),4,1) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),5,9) SET #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),119(40,170),1,9) 4 DCL stuffRead #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),143(140,10),4,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),2,1) INPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),122(45,150),1,13) 4 DCL myID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),143(140,10),5,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),3,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),128(45,110),1,13) 4 DCL mahPID #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),143(140,10),6,1) ASSIGNMENT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),1,1) OUTPUT #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),128(45,110),1,18) 4 STATE SiDLing #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),134(60,70),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),116(60,195),1,1) 4 STATE ForcedWait #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),125(60,130),1,1) NEXTSTATE #SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),125(60,130),1,1)