/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy",4)*/
system ControlSystem;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),140(60,25))*/
SIGNAL InCard, Close, Open, NewUser;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),122(67,42))*/
channel /*#E*/ 
C1 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),104(15,15))*/
env to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45))*/
ControlSystem with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),123(35,42))*/
InCard;
endchannel C1;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),131(76,62))*/
channel /*#E*/ 
C2 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45))*/
ControlSystem to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),104(15,15))*/
env with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),132(25,62))*/
Close,Open, NewUser;
endchannel C2;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45))*/
block /*#E*/ 
ControlSystem referenced;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy",4)*/
endsystem ControlSystem;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk",4)*/
block ControlSystem;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25))*/
SIGNAL InCard, InCode(integer), Ask(integer,integer),
 Answer(integer),Close, Open,NewUser;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),128(40,42))*/
signalroute /*#E*/ 
K1 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),104(15,15))*/
env to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45))*/
CardReader with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),129(37,55))*/
InCard;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),137(118,42))*/
signalroute /*#E*/ 
K3 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45))*/
CardReader to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45))*/
CheckPoint with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),138(120,52))*/
InCode;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),164(33,70))*/
signalroute /*#E*/ 
K2 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45))*/
CheckPoint to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),104(15,15))*/
env with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),165(32,77))*/
Close, Open, NewUser;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),146(165,77))*/
signalroute /*#E*/ 
K4 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45))*/
CheckPoint to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95))*/
Processor with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),147(165,87))*/
Ask;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),155(150,77))*/
signalroute /*#E*/ 
K5 from 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95))*/
Processor to 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45))*/
CheckPoint with 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),156(145,87))*/
Answer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45))*/
process /*#E*/ 
CardReader(1,1) referenced;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45))*/
process /*#E*/ 
CheckPoint(1,1) referenced;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95))*/
process /*#E*/ 
Processor(1,1) referenced;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),134(7,47))*/
connect /*#E*/ 
C1 and 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),128(40,42))*/
K1;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),170(7,72))*/
connect /*#E*/ 
C2 and 
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),164(33,70))*/
K2;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk",4)*/
endblock ControlSystem;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr",4)*/
process CardReader;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),131(80,30))*/
DCL i integer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),155(10,30))*/
start /*#E*/ 
;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),158(10,55))*/
nextstate /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),146(45,30))*/
state /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),119(45,55))*/
input /*#E*/ 
InCard;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),125(45,80))*/
output /*#E*/ 
InCode(i);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),134(45,105))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),146(45,30))*/
endstate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr",4)*/
endprocess CardReader;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr",4)*/
process CheckPoint;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),134(120,30))*/
DCL i integer, j integer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),227(160,30))*/
Timer T;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),119(25,30))*/
start /*#E*/ 
;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),122(25,50))*/
nextstate /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),128(80,30))*/
state /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),131(80,50))*/
input /*#E*/ 
InCode(i);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),146(80,70))*/
output /*#E*/ 
Ask(i,j);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),167(80,90))*/
nextstate /*#E*/ 
WaitAnswer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),128(80,30))*/
endstate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),167(80,90))*/
state /*#E*/ 
WaitAnswer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),170(80,110))*/
input /*#E*/ 
Answer(i);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),182(120,50))*/
decision /*#E*/ 
i=1;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),197(115,67))*/
(TRUE):
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),194(115,75))*/
output /*#E*/ 
Open;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),212(115,95))*/
/*#E*/ 
Set(Now+1,T);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),215(115,115))*/
output /*#E*/ 
Close;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),230(115,135))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),242(167,57))*/
(FALSE):
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),239(155,75))*/
output /*#E*/ 
Close;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),245(155,95))*/
output /*#E*/ 
NewUser;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),251(155,120))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),182(120,50))*/
enddecision;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),167(80,90))*/
endstate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr",4)*/
endprocess CheckPoint;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr",4)*/
process Processor;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),131(115,30))*/
DCL i integer, j integer;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),116(35,30))*/
start /*#E*/ 
;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),119(35,55))*/
nextstate /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),125(80,30))*/
state /*#E*/ 
Generate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),128(80,55))*/
input /*#E*/ 
Ask(i,j);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),137(80,80))*/
decision /*#E*/ 
i=j;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),149(62,87))*/
(TRUE):
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),143(55,105))*/
output /*#E*/ 
Answer(1);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),155(55,125))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),152(127,87))*/
(FALSE):
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),146(115,105))*/
output /*#E*/ 
Answer(0);
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),158(115,125))*/
nextstate /*#E*/ 
-;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),137(80,80))*/
enddecision;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),125(80,30))*/
endstate;
/*#SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr",4)*/
endprocess Processor;