Graphics Programs Reference
In-Depth Information
Table 6.3: Reachability set of SPN of Fig.
6.1
M
0
= p
act1
+
p
idle
+ p
act2
M
1
=
p
req1
+
p
idle
+ p
act2
M
2
=
p
acc1
+
p
act2
M
3
=
p
acc1
+
p
req2
M
4
=
p
req1
+
p
idle
+
p
req2
M
5
= p
act1
+
p
idle
+
p
req2
M
6
= p
act1
+
p
acc2
M
7
=
p
req1
+
p
acc2
Figure 6.2: The reachability graph of the SPN system in Fig.
6.1
Search WWH ::
Custom Search