Proceedings of the 22nd EUROMICRO Conference Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism Prague, Czech Republic September 02-September 05 ISBN: 0-8186-7487-3
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.
Index Terms:
interactive television; video-on-demand system; causal modeling; high-level net model; FIFO queues; bunching property; parallel machine scheduling; resource allocation mechanism; request service; refusal by choice feature; predicate/transition net formalism; reachability analysis; stochastic net theoretical methods; performance analysis; time formalisms
Citation:
T. Pyssysalo, L. Ojala, "Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism," euromicro, pp.0625, Proceedings of the 22nd EUROMICRO Conference, 1996 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb