next up previous
Next: Stochastic Reward Nets (SRN) Up: No Title Previous: Acyclic GSPN and PH-type

Irreducible GSPN

tputu, utilu, etoku, premptyu are computed numerically.

tputt, utilt, etokt, premptyt have the same meaning as tputu, utilu, etoku, premptyu, but computed symbolically.
NOTE: Use more the ouputs computed numerically than symbolically.


next up previous
Next: Stochastic Reward Nets (SRN) Up: No Title Previous: Acyclic GSPN and PH-type