Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool -- from Wolfram Library Archive

Title

Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool

Author

R. German

Journal / Anthology

Performance Evaluation

Year:

2000

Volume:

Page range:

165-188

Description

Stochastic Petri nets (SPNs) with general firing time distributions are considered. Generally timed transitions can have general execution policies: the preemption policy may be preemptive repeat different (prd) or preemptive resume (prs) and the firing time distribution can be marking-dependent. A stationary analysis method covering all possible combinations is presented by means of supplementary variables. The method is implemented in a prototype tool SPNica which is based on Mathematica. The use of the general execution policies is illustrated by a WWW server model.

Subjects

	Applied Mathematics > Computer Science
	Mathematics > Probability and Statistics

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how »