Jump transitions in second order FSPNs

In this paper jump transitions for the fluid model part in second order fluid stochastic Petri nets (FSPNs) are introduced. The extended formalism is defined, and the underlying partial differential equations are derived. With a jump a certain amount of fluid is added to a fluid place or taken out at once. This amount, the jump height, is sampled from a probability distribution. The dynamics of a model are described by second order partial differential equations that include integrals. As examples the virtual waiting time (or unfinished work) in a queueing system and a performability model of a multi-processor system are modelled.

[1]  Leonard Kleinrock,et al.  Queueing Systems - Vol. 1: Theory , 1975 .

[2]  J. Griffiths.  The Theory of Stochastic Processes , 1967 .

[3]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[4]  David M. Nicol,et al.  Discrete-event simulation of fluid stochastic Petri nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[5]  A. T. Bharucha-Reid,et al.  The Theory of Probability. , 1963 .

[6]  René David,et al.  Autonomous And Timed Continous Petri Nets , 1991, Applications and Theory of Petri Nets.

[7]  Hisashi Kobayashi,et al.  Accuracy of the diffusion approximation for some queuing systems , 1974 .

[8]  R. Butterworth,et al.  Queueing Systems, Vol. II: Computer Applications. , 1977 .

[9]  Matteo Sereno,et al.  Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[10]  Leonard Kleinrock,et al.  Queueing Systems: Volume I-Theory , 1975 .

[11]  Matteo Sereno,et al.  Fluid stochastic Petri nets: An extended formalism to include non-Markovian models , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[12]  David M. Nicol,et al.  Fluid stochastic Petri nets: Theory, applications, and solution techniques , 1998, Eur. J. Oper. Res..

[13]  Boris Gnedenko,et al.  Theory of Probability , 1963 .

[14]  W. D. Ray.  Queueing Systems. Vol. II—Computer Applications , 1977 .

[15]  L. Takács.  Investigation of waiting time problems by reduction to Markov processes , 1955 .

[16]  Graham Horton,et al.  Computation of the distribution of accumulated reward with Fluid Stochastic Petri-Nets , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[17]  G. F. Newell,et al.  Applications of Queueing Theory. , 1983 .

[18]  Kishor S. Trivedi,et al.  FSPNs: Fluid Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[19]  Kishor S. Trivedi,et al.  Discrete-event simulation of uid stochastic Petri nets , 1997 .

[20]  John F. Meyer,et al.  Closed-Form Solutions of Performability , 1982, IEEE Transactions on Computers.