Answer should be this graph :
count = 3;
S1;
Fork L1; L1: S3; goto L3; // Create child process (S2,S3) If there is a Label with fork ,
means both are ( S2 and S3 )concurrent process .
S2 continue with this but S3 with Label L1
S2; // no fork :- their is no concurrency between S2 , S4 . so, S2 continue with S4
S4;
Fork L2; L2: S6; goto L3 ; // their is concurrency between S5, S6 .
S5;
L3: join count
S7
Join count
count=count-1
if count!=0 , then
Quit