Graphics Programs Reference
In-Depth Information
while
1
while
2
T
1
T
2
rv
1
whileSpAlt
rv
2
Chan
1
Chan
2
c
1
c
2
T
5
T
6
t
4
t
1
t
7
t
9
for
1
for
2
for
1
Sp
for
2
Sp
t
2
t
8
t
10
t
5
infor
1
Sp
infor
2
Sp
infor
2
infor
1
P
1
Sp
P
2
Sp
c
3
c
4
T
7
T
8
ec
3
prt
1
prt
2
ec
4
t
3
T
3
T
4
t
6
Figure 10.9: The complete GSPN system of the spooler example
Search WWH ::
Custom Search