Advertisement

Analysis of Petri Net Models through Stochastic Differential Equations

  • Marco Beccuti
  • Enrico Bibbona
  • Andras Horvath
  • Roberta Sirovich
  • Alessio Angius
  • Gianfranco Balbo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8489)

Abstract

It is well known, mainly because of the work of Kurtz, that density dependent Markov chains can be approximated by sets of ordinary differential equations (ODEs) when their indexing parameter grows very large. This approximation cannot capture the stochastic nature of the process and, consequently, it can provide an erroneous view of the behavior of the Markov chain if the indexing parameter is not sufficiently high. Important phenomena that cannot be revealed include non-negligible variance and bi-modal population distributions. A less-known approximation proposed by Kurtz applies stochastic differential equations (SDEs) and provides information about the stochastic nature of the process.

In this paper we apply and extend this diffusion approximation to study stochastic Petri nets. We identify a class of nets whose underlying stochastic process is a density dependent Markov chain whose indexing parameter is a multiplicative constant which identifies the population level expressed by the initial marking and we provide means to automatically construct the associated set of SDEs. Since the diffusion approximation of Kurtz considers the process only up to the time when it first exits an open interval, we extend the approximation by a machinery that mimics the behavior of the Markov chain at the boundary and allows thus to apply the approach to a wider set of problems. The resulting process is of the jump-diffusion type. We illustrate by examples that the jump-diffusion approximation which extends to bounded domains can be much more informative than that based on ODEs as it can provide accurate quantity distributions even when they are multi-modal and even for relatively small population levels. Moreover, we show that the method is faster than simulating the original Markov chain.

Keywords

Stochastic Differential Equation Diffusion Approximation Continuous Time Markov Chain Indexing Parameter Density Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, New York (1995)zbMATHGoogle Scholar
  2. 2.
    Babar, J., Beccuti, M., Donatelli, S., Miner, A.S.: GreatSPN enhanced with decision diagram data structures. In: Proceedings of Applications and Theory of Petri Nets, 31st Int. Conference, Braga, Portugal, June 21-25, pp. 308–317. IEEE Computer Society (2010)CrossRefGoogle Scholar
  3. 3.
    Balbo, G.: Introduction to Stochastic Petri Nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol. 2090, pp. 84–155. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Beccuti, M., Franceschinis, G.: Efficient simulation of stochastic well-formed nets through symmetry exploitation. In: Proceedings of the Winter Simulation Conference, WSC 2012, pp. 296:1–296:13. IEEE Computer Society (December 2012)Google Scholar
  5. 5.
    Beccuti, M., Fornari, C., Franceschinis, G., Halawani, S.M., Ba-Rukab, O., Ahmad, A.R., Balbo, G.: From symmetric nets to differential equations exploiting model symmetries. The Computer Journal (2013)Google Scholar
  6. 6.
    Brémaud, P.: Markov chains. Gibbs fields, Monte Carlo simulation, and queues. Texts in Applied Mathematics, vol. 31. Springer, New York (1999)zbMATHGoogle Scholar
  7. 7.
    Fishman, G.S.: Principles of Discrete Event Simulation. John Wiley & Sons, Inc., New York (1978)zbMATHGoogle Scholar
  8. 8.
    Gaeta, R.: Efficient Discrete-Event Simulation of Colored Petri Nets. IEEE Transactions on Software Engineering 22(9), 629–639 (1996)CrossRefGoogle Scholar
  9. 9.
    Gillespie, D.T.: The chemical langevin equation. J. Chem. Phys. 113, 297 (2000)CrossRefGoogle Scholar
  10. 10.
    Kermack, W., McKendrick, A.: A contribution to the mathematical theory of epidemics. Proceedings of the Royal Society of London. Series A 115(772), 700–721 (1927)CrossRefGoogle Scholar
  11. 11.
    Klebaner, F.C.: Introduction to stochastic calculus with applications, 3rd edn. Imperial College Press, London (2012)CrossRefGoogle Scholar
  12. 12.
    Kloeden, P.E., Platen, E.: Numerical solution of stochastic differential equations, vol. 23. Springer (1992)Google Scholar
  13. 13.
    Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. Journal of Applied Probability 1(7), 49–58 (1970)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Kurtz, T.G.: Limit theorems and diffusion approximations for density dependent Markov chains. In: Stochastic Systems: Modeling, Identification and Optimization, I, pp. 67–78. Springer (1976)Google Scholar
  15. 15.
    Kurtz, T.G.: Strong approximation theorems for density dependent markov chains. Stochastic Processes and Their Applications 6(3), 223–240 (1978)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Molloy, M.K.: Performance analysis using stochastic Petri Nets. IEEE Transactions on Computers 31(9), 913–917 (1982)CrossRefGoogle Scholar
  17. 17.
    Pourranjbar, A., Hillston, J., Bortolussi, L.: Don’t just go with the flow: Cautionary tales of fluid flow approximation. In: Tribastone, M., Gilmore, S. (eds.) UKPEW 2012 and EPEW 2012. LNCS, vol. 7587, pp. 156–171. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  18. 18.
    Tribastone, M.: Scalable differential analysis of large process algebra models. In: 7th Int. Conference on the Quantitative Evaluation of Systems, p. 307. IEEE Computer Society, Williamsburg (2010)Google Scholar
  19. 19.
    Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Software Eng. 38(1), 205–219 (2012)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Marco Beccuti
    • 1
  • Enrico Bibbona
    • 2
  • Andras Horvath
    • 1
  • Roberta Sirovich
    • 2
  • Alessio Angius
    • 1
  • Gianfranco Balbo
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoItaly
  2. 2.Dipartimento di MatematicaUniversità di TorinoItaly

Personalised recommendations