Skip to main content
SpringerLink
Log in

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ciardo, G., Muppala, J. K. and Trivedi, K. S. 1991. On the solution of GSPN reward models. Performance Evaluation 12(4): 237–253.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, 10149, Torino, Italy

    M. Gribaudo, M. Sereno & A. Horváth

  2. Dipartimento di Scienze e Tecnologie Avanzate, Università del Piemonte Orientale, 15100, Alessandria, Italy

    A. Bobbio

Authors
  1. M. Gribaudo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Sereno
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Horváth
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Bobbio
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008339216603

Search

Navigation