In: Lecture Notes in Computer Science, Vol. 1469: Computer Performance Evaluation, pages 255-266. Springer-Verlag, 1998.
Abstract: Stochastic Petri nets (SPNs) with general firing time distributions are considered in this paper. The 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-independent or marking-dependent through constant scaling factors. A stationary analysis method covering all possible combinations is presented by means of supplementary variables. The method is implemented in a prototype tool based on Mathematica. An example illustrates the analysis method and the use of the tool.
Keywords: general execution policies, regenerative stochastic Petri nets, software tools, variable analysis.