Causal modeling of a video-on-demand system using predicate/transition net formalism | IEEE Conference Publication | IEEE Xplore