Graphics Programs Reference
In-Depth Information
while
1
whileSpAlt
while
2
T
1
Chan
1
?
Chan
2
?
T
2
rv
1
rv
2
t
7
t
9
Chan
1
!
for
1
Sp
for
2
Sp
Chan
2
!
t
8
t
10
t
4
t
1
for
2
infor
1
Sp
infor
2
Sp
for
1
t
2
P
1
Sp
P
2
Sp
t
5
infor
1
infor
2
prt
1
prt
2
P
1
Sp!
P
2
Sp
T
3
T
4
ec
3
ec
4
t
6
t
3
(a)
(c)
(b)
Figure 10.8: The GSPN system of each process schema
Search WWH ::
Custom Search