Abstract
Fluid(or Hybrid) Petri Nets are Petri net based models with two classesof places: discrete places that carry a natural number of distinctobjects (tokens), and fluid places that hold a positive amountof fluid, represented by a real number. With respect to previousformulations, the FSPN model presented in this paper, is augmentedwith a new primitive, called flush-out arc. A flush-out arc connectsa fluid place to a timed transition, and has the effect of instantaneouslyemptying the fluid place when the transition fires. The paperdiscusses the modeling power of the augmented formalism, andshows how the dynamics of the underlying stochastic process canbe analytically described by a set of integro-differential equations.A procedure is presented to automatically derive the solutionequations from the model specifications. The whole methodologyis illustrated by means of various examples.
Similar content being viewed by others
References
Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G. and Cumani, A. 1989. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. on Software Eng. 15(7): 832–846.
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons
Alla, H. and David, R. 1998. Continuous and hybrid Petri nets. J. of Systems Circuits and Computers 8(1).
Bobbio, A., Garg, S., Gribaudo, M., Horváth, A., Sereno, M., and Telek, M. 1999. Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. In Proc. 8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain: IEEE-CS Press.
Bobbio, A., Puliafito, A., Telek, M. and Trivedi, K. S. 1998. Recent developments in non-Markovian stochastic Petri nets. J. of Systems Circuits and Computers 8(1): 119–158.
Ciardo, G., Muppala, J. K. and Trivedi, K. S. 1991. On the solution of GSPN reward models. Performance Evaluation 12(4): 237–253.
Ciardo, G., Nicol, D. M. and Trivedi, K. S.1999. Discrete-event Simulation of Fluid Stochastic Petri Nets. IEEE Trans. on Software Eng. 2(25): 207–217.
Cox, D. R. 1955. The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Proc. of the Cambridge Phylosophical Society 51: 433–440.
Elwalid, A. I. and Mitra, D. 1994. Statistical multiplexing with loss priorities in rate-based congestion control of high-speed networks. IEEE Trans. on Communications 42(11): 2989–3002.
Gribaudo, M. and Sereno, M. 2000. Simulation of Fluid Stochastic Petri Nets. In Proc. of the Eighth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT 2000) San Francisco, CA.
Gribaudo, M., Sereno, M. and Bobbio, A. 1999. Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. In Proc. 8th Intern. Workshop on Petri Nets and Performance Models Zaragoza, Spain: IEEE-CS Press.
Heindl, A. and German, R. 1997. A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs. In Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97) Saint Malo, France.
Horton, G. 1996. Computation of the distribution of accumulated reward with fluid stochastic Petri nets. In Proc. 2th Inter. Computer Performance & Dependability Symposium (IPDS' 96) Urbana-Champaign.
Horton, G., Kulkarni, V. G., Nicol, D. M. and Trivedi, K. S. 1998. Fluid stochastic Petri nets: Theory, application, and solution techniques. Eur. J. Op. Res. 105(1): 184–201.
Howard, R. A. 1971 Dynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes. John Wiley and Sons.
Patankar, S. V.1980. Numerical Heat Transfer and Fluid Flow. McGraw-Hill.
Trivedi, K. and Kulkarni, V. 1993. FSPNs: Fluid Stochastic Petri nets. In Appl. and Theory of Petri Nets 1993, Proc. 14th Intern. Conference LNCS, Chicago, USA: Springer Verlag.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gribaudo, M., Sereno, M., Horváth, A. et al. Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discrete Event Dynamic Systems 11, 97–117 (2001). https://doi.org/10.1023/A:1008339216603
Issue Date:
DOI: https://doi.org/10.1023/A:1008339216603