int flag;
int test;
clock x;
urgent chan aa; // just testing
//urgent chan a; // just testing
chan a;
// ----- Translation Slack -----
chan xtSglNR3;
chan SycDmmytry1trsycDmmy3;
chan xtSglNR2;
chan Mtrytrm2;
chan xtSglNR4;
chan Sbtry1trm2sbCmpt4;
chan Sbxt1lvm2sbCmpt4;
chan xtSglNR6;
chan Qtry1trm2sbCmpt4prlllQ26;
chan xtSglNR5;
chan Ptry1trm2sbCmpt4prlllP15;
int triggerVar2;
chan aXCR1;
globalKickoff7
start
L2
L3
main2subComponent4parallelQ26
s1
s2
IDLE
main2subComponent4parallelP15
s1
s2
IDLE
main2subComponent4
IDLE
ACTIVE
main2subComponent4Subentry1fork1
main2subComponent4Subentry1fork2
syncDummy3
s1
s2
IDLE
main2
s1
subComponent
L1
IDLE
L4
L5
L6
syncDummy3 := syncDummy3();
main2 := main2();
main2subComponent4 := main2subComponent4();
main2subComponent4parallelQ26 := main2subComponent4parallelQ26();
main2subComponent4parallelP15 := main2subComponent4parallelP15();
globalKickoff7 := globalKickoff7();
system syncDummy3, main2, main2subComponent4, main2subComponent4parallelQ26, main2subComponent4parallelP15, globalKickoff7;