Graphics Programs Reference
In-Depth Information
M
0
=
2p
1
+
p
5
M
1
= p
1
+
p
2
+
p
5
M
2
=
2p
2
+
p
5
M
3
= p
1
+
p
3
+
p
5
M
4
= p
1
+
p
4
+
p
5
M
5
=
p
2
+
p
3
+
p
5
M
6
=
p
2
+
p
4
+
p
5
M
7
= p
1
+
p
5
+ p
6
M
8
= p
1
+
p
7
M
9
=
2p
3
+
p
5
M
10
=
p
3
+
p
4
+
p
5
M
11
=
p
2
+
p
5
+ p
6
M
12
=
2p
4
+ p
5
M
13
=
p
2
+
p
7
M
14
=
p
3
+
p
5
+ p
6
M
15
=
p
4
+
p
5
+ p
6
M
16
=
p
3
+
p
7
M
17
=
p
4
+
p
7
M
18
=
p
5
+
2p
6
Figure 2.3: The reachability set of the readers & writers PN system obtained
from the PN model in Fig.
2.1
by letting K = 2
Search WWH ::
Custom Search