GSPN Modeling of Video on Demand Systems