Graphics Programs Reference
In-Depth Information
M
0
=
2p
1
+
p
5
M
∗∗
= p
1
+
p
2
+
p
5
1
M
∗
2
= p
1
+
p
3
+
p
5
M
∗
3
= p
1
+
p
4
+ p
5
M
4
= p
1
+
p
5
+ p
6
M
5
= p
1
+
p
7
M
∗∗
=
p
2
+
p
5
+ p
6
6
M
∗
7
=
p
3
+
p
5
+ p
6
M
8
=
p
4
+ p
5
+ p
6
M
9
=
p
5
+
2p
6
M
∗∗
=
p
2
+
p
7
10
M
11
=
p
3
+
p
7
M
12
=
p
4
+
p
7
Figure 4.8: Reachability set of the readers & writers PN system with priority
the extended conflict sets in which these transitions were enabled in the
vanished markings. This is the minimal information required to give an in-
terpretation of the original model behaviour in terms of conflict resolutions.
contain the following information: (1) the firing sequence associated with
the arc is t
1
+t
3
+t
5
, (2) the firing of t
1
didn't involve any conflict resolution,
the firing of t
3
involved a conflict resolution between transitions t
2
and t
3
,
and the firing of t
5
didn't involve any conflict resolution.
Search WWH ::
Custom Search