This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
October 2002 (vol. 28 no. 10)
pp. 944-955

Abstract—Fluid Stochastic (or Hybrid) Petri Nets with flush-out arcs are Petri net-based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. For this kind of formalisms, equations can be automatically derived from the model. Such equations, however, are often too complex to be solved analytically and simple discretization techniques usually can be successfully applied only to simple cases. In this paper, we present a particular solution technique for transient solution that makes use of Kronecker-algebra.

[1] H. Alla and R. David, “Continuous and Hybrid Petri Nets,” J. Systems Circuits and Computers, vol. 8, no. 1, Feb. 1998
[2] M. Gribaudo, M. Sereno, A. Horváth, and A. Bobbio, “Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: Modeling and Analysis,” Discrete Event Dynamic Systems, vol. 11, no. 1/2, pp. 97-117, Jan. 2001.
[3] G. Horton, “Computation of the Distribution of Accumulated Reward with Fluid Stochastic Petri Nets,” Proc. Second Int'l Computer Performance&Dependability Symp. (IPDS '96), 1996.
[4] G. Horton, V.G. Kulkarni, D.M. Nicol, and K.S. Trivedi, “Fluid Stochastic Petri Nets: Theory, Application, and Solution Techniques,” European J. Operations Research, vol. 105, no. 1, pp. 184-201, Feb 1998.
[5] K.S. Trivedi and V.G. Kulkarni, "FSPNs: Fluid Stochastic Petri nets," Proc. 14th Int'l Conf. Applications and Theory of Petri Nets, pp. 24-31,Chicago, June 1993.
[6] K. Wolter, “Second Order Fluid Stochastic Petri Nets: An Extension of GSPNs for Approximate and Continuous Modeling,” Proc. World Congress on System Simulation, pp. 328-332, Sept. 1997.
[7] A. Bobbio, S. Garg, M. Gribaudo, A. Horváth, M. Sereno, and M. Telek, “Modeling Software Systems with Rejuvenation, Restoration and Checkpointing Through Fluid Stochastic Petri Nets,” Proc. Eighth Int'l Workshop Petri Nets and Performance Models, Sept. 1999.
[8] D.R. Cox, “The Analysis of Non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables,” Proc. Cambridge Phylosophical Society, vol. 51, pp. 433-440, 1955.
[9] S.V. Patankar, Numerical Heat Transfer and Fluid Flow. McGraw-Hill, 1980.
[10] G. Ciardo, D.M. Nicol, and K.S. Trivedi, Discrete-Event Simulation of Fluid Stochastic Petri Nets IEEE Trans. Software Eng., vol. 25, no. 2, pp. 207-217, 1999.
[11] M. Gribaudo and M. Sereno, “Simulation of Fluid Stochastic Petri Nets,” Proc. Eighth Int'l Symp. Modeling, Analysis and Simulation of Computer and Telecomm. Systems, pp. 231-239, Aug. 2000.
[12] M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri Nets. John Wiley&Sons, 1995.
[13] M. Gribaudo, M. Sereno, and A. Bobbio, “Fluid Stochastic Petri Nets: An Extended Formalism to Include Non-Markovian Models,” Proc. Eighth Int'l Conf. Petri Nets and Performance Models (PNPM '99), pp. 71-82, 1999.
[14] P. Buchholz, G. Ciardo, P. Kemper, and S. Donatelli, “Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models,” INFORMS J. Computing, vol. 13, no. 3, pp. 203-222, 2000.
[15] R.J. LeVeque, Numerical Methods for Conversation Laws. Birkhauser Verlag, 1992.

Index Terms:
Non-Markovian models, fluid stochastic petri nets, numerical techniques.
Citation:
Marco Gribaudo, András Horváth, "Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique," IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 944-955, Oct. 2002, doi:10.1109/TSE.2002.1041051
Usage of this product signifies your acceptance of the Terms of Use.