GSPN Steady State Analysis Results
Set of Tangible States
P0
P1
P2
P3
P4
P5
P6
P7
M0
0
0
1
0
0
1
0
3
M1
0
0
1
1
0
0
0
3
M2
0
0
1
0
0
1
1
2
M3
0
0
1
0
0
1
2
1
M4
0
0
1
0
0
1
3
0
M5
1
0
0
0
0
1
3
0
Steady State Distribution of Tangible States
Marking
Value
M0
0.16667
M1
0.16667
M2
0.16667
M3
0.16667
M4
0.16667
M5
0.16667
Average Number of Tokens on a Place
Place
Number of Tokens
P0
0.16667
P1
0
P2
0.83333
P3
0.16667
P4
0
P5
0.83333
P6
1.5
P7
1.5
Token Probability Density
µ=0
µ=1
µ=2
µ=3
P0
0.83333
0.16667
0
0
P1
1
0
0
0
P2
0.16667
0.83333
0
0
P3
0.83333
0.16667
0
0
P4
1
0
0
0
P5
0.16667
0.83333
0
0
P6
0.33333
0.16667
0.16667
0.33333
P7
0.33333
0.16667
0.16667
0.33333
Throughput of Timed Transitions
Transition
Throughput
T4
0.83333
T5
0.83333
Sojourn times for tangible states
Marking
Value
M0
0.5
M1
1
M2
0.5
M3
0.5
M4
0.5
M5
1