next up previous
Next: Irreducible GSPN Up: No Title Previous: Multi-chain Product Form Queuing

Acyclic GSPN and PH-type GSPN

tputu, utilu, etoku, premptyu are computed numerically.

tputt, utilt, etokt, premptyt have the same meaning as tputu, utilu, etoku, premptyu, but computed symbolically.


next up previous
Next: Irreducible GSPN Up: No Title Previous: Multi-chain Product Form Queuing