GSPN Steady State Analysis Results


Set of Tangible States
P0P1P2P3
M04500
M10140
M20104

Steady State Distribution of Tangible States
MarkingValue
M0-0
M10.5
M20.5

Average Number of Tokens on a Place
PlaceNumber of Tokens
P00
P11
P22
P32

Token Probability Density
µ=0µ=1µ=2µ=3µ=4µ=5
P01000-00
P101000-0
P20.50000.50
P30.50000.50

Throughput of Timed Transitions
TransitionThroughput
T00
T12
T22

Sojourn times for tangible states
MarkingValue
M00.25
M10.25
M20.25