GSPN Steady State Analysis Results
Set of Tangible States
P0
P1
P2
P3
M0
4
5
0
0
M1
0
1
4
0
M2
0
1
0
4
Steady State Distribution of Tangible States
Marking
Value
M0
-0
M1
0.5
M2
0.5
Average Number of Tokens on a Place
Place
Number of Tokens
P0
0
P1
1
P2
2
P3
2
Token Probability Density
µ=0
µ=1
µ=2
µ=3
µ=4
µ=5
P0
1
0
0
0
-0
0
P1
0
1
0
0
0
-0
P2
0.5
0
0
0
0.5
0
P3
0.5
0
0
0
0.5
0
Throughput of Timed Transitions
Transition
Throughput
T0
0
T1
2
T2
2
Sojourn times for tangible states
Marking
Value
M0
0.25
M1
0.25
M2
0.25