A teaching experiment design of spn based on modeling video-on-demand system | IEEE Conference Publication | IEEE Xplore