Paper Info
Title
Causal modeling of a video-on-demand system using predicate/transition net formalism
Abstract
We give a high-level net model for a specific video on demand system. This system has some very interesting modeling features: FIFO queues, the bunching property, parallel machine scheduling and a complicated resource allocation mechanism. The bunching property is the feasibility of several requests being served together by one resource. The resource allocation mechanism for this video on demand system has a special refusal by choice feature which means that the resource is not necessarily allocated even though it is available. The predicate/transition net formalism has been used in the modeling and reachability analysis in studying the properties of the model. The causal model developed here allows a natural extension for the use of time or stochastic net theoretical methods for performance analysis
Year
DOI
Venue
1996
10.1109/EURMIC.1996.546490
EUROMICRO
Keywords
Field
DocType
file servers,interactive television,interactive video,resource allocation,scheduling,FIFO queues,bunching property,causal modeling,high-level net model,parallel machine scheduling,performance analysis,predicate/transition net formalism,reachability analysis,refusal by choice feature,request service,resource allocation mechanism,stochastic net theoretical methods,time formalisms,video-on-demand system
Predicate transition,On demand,Computer science,Interactive television,Reachability,Theoretical computer science,Resource allocation,Predicate (grammar),Formalism (philosophy),Causal model
Conference
ISSN
ISBN
Citations 
1089-6503
0-8186-7487-3
2
PageRank 
References 
Authors
0.56
2
2
Name
Order
Citations
PageRank
Tino Pyssysalo120.56
Leo Ojala264.75