Graphics Programs Reference
In-Depth Information
Table 6.9: Reachability set of the GSPN of Fig. 6.9
M 0 = 2p 1
M 1 = p 1 + p 2
*
M 2 = p 1 +
p 3 + p 4
M 3 =
p 2 + p 3 + p 4
*
M 4 =
2p 3 + 2p 4
M 5 = p 1 +
p 4 + p 5
M 6 = p 1 +
p 3 +
p 6
M 7 =
p 3 +
2p 4 + p 5
M 8 =
2p 3 + p 4 +
p 6
M 9 =
p 2 +
p 4 + p 5
*
M 10 = p 1 +
p 5 + p 6
*
M 11 = p 1 +
p 7
*
M 12 = p 1 +
p 9
M 13 = p 1 +
p 8
M 14 =
p 2 + p 3 +
p 6
*
M 15 =
2p 4 + 2p 5
M 16 =
p 3 + p 4 + p 5 + p 6
*
M 17 =
p 3 + p 4 +
p 7
*
M 18 =
p 3 + p 4 +
p 9
M 19 =
p 3 + p 4 +
p 8
M 20 =
2p 3 +
2p 6
M 21 =
p 2 +
p 9
*
M 22 =
p 2 +
p 8
*
M 23 =
p 4 +
2p 5 + p 6
*
M 24 =
p 4 + p 5 +
p 7
*
M 25 =
p 4 + p 5 +
p 9
M 26 =
p 4 + p 5 +
p 8
M 27 =
p 3 +
p 6 +
p 9
M 28 =
p 3 +
p 6 +
p 8
M 29 =
p 3 +
p 5 +
2p 6
*
M 30 =
p 3 +
p 6 + p 7
*
M 31 =
p 5 + p 6 +
p 9
*
M 32 =
p 7 +
p 9
*
M 33 =
2p 9
M 34 =
p 8 + p 9
M 35 =
p 5 + p 6 +
p 8
*
M 36 =
p 7 + p 8
*
M 37 =
2p 8
 
 
Previous Page
Next Page
Modelling with Generalised Stochastic Petri Nets
Search WWH ::




Custom Search
Home