Skip to main content
SpringerLink
Log in

WebSPN: A Flexible Tool for the Analysis of Non-Markovian Stochastic Petri Nets

  • Chapter
  • First Online:
Principles of Performance and Reliability Modeling and Evaluation

Part of the book series: Springer Series in Reliability Engineering ((RELIABILITY))

Abstract

This chapter describes WebSPN, a modeling tool for the analysis of non-Markovian stochastic Petri nets (NMSPNs). WebSPN is a flexible tool, providing different solution techniques to deal with the complexity of the stochastic process underlying a NMSPN. The first solution technique that was developed within WebSPN is based on a discrete-time approximation of the stochastic behavior of the marking process which enables the analysis of a broad class of NMSPN models with preemptive repeat different (prd), preemptive resume (prs), and preemptive repeat identical (pri) concurrently enabled generally distributed transitions. One of the main drawbacks of the discrete state space expansion approach is the state space explosion that limits the tractability of complex models. For such a reason, a new solution technique has been implemented in the WebSPN tool, which is based on the use of multiterminal multi-valued decision diagram (MTMDD) and Kronecker matrices to store the expanded process. Such a solution works in the continuous time domain and enables the analysis of much more complex NMSPNs with prd and prs concurrently enabled generally distributed transitions. Finally, WebSPN also implements a simulative solution, thus providing a complete and powerful tool for modeling and analysis of real complex systems.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    The WebSPN tool can be downloaded from http://webspn.unime.it after a simple registration procedure.

  2. 2.

    A marking \(M_i\) is a tuple, whose cardinality is \(|| \mathcal{P}||\), recording the number of tokens in each place.

  3. 3.

    Note that as time increases by \(\delta \), the total elapsed time at step i is \(i * \delta \). This explains why only the index indicating the time interval needs to be recorded.

  4. 4.

    The use of Saturation is incidental. The methodology we propose is independent of the algorithm used to generate the reachability graph of a model. We use Saturation Unbound due to its well-known efficiency.

References

  1. Cumani A (1985) Esp—A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In: Proceedings international workshop timed Petri nets, Torino (Italy): IEEE Computer Society Press no. 674, pp 144–151

    Google Scholar 

  2. Chiola G (1992) GreatSPN 1.5 software architecture. In: Balbo G, Serazzi G (eds) Computer performance evaluation. Elsevier Science Publishers, pp 121–136

    Google Scholar 

  3. Ciardo G, Muppala J, Trivedi K (1998) SPNP: stochastic Petri net package. In: Proceedings international workshop on petri nets and performance models—PNPM89. IEEE Computer Society, pp 142–151

    Google Scholar 

  4. Lindemann C (1995) DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Perform Eval 22:3–21

    Article  Google Scholar 

  5. German R, Kelling C, Zimmermann A, Hommel G (1994) TimeNET—a toolkit for evaluating non-markovian stochastic Petri nets. Report No. 19 - Technische Universität Berlin

    Google Scholar 

  6. Couvillon J, Freire R, Johnson R, Obal W, Qureshi M, Rai M, Sanders W, Tvedt J (1991) Performability modeling with UltrasSAN. IEEE Softw 8:69–80

    Article  Google Scholar 

  7. Bobbio A, Kulkarni V, Puliafito A, Telek M, Trivedi K (1995) Preemptive repeat identical transitions in markov regenerative stochastic Petri nets. In: 6-th International conference on Petri nets and performance models—PNPM95. IEEE Computer Society, pp 113–122

    Google Scholar 

  8. Bobbio A, Telek M (1995) Markov regenerative SPN with non-overlapping activity cycles. In: International computer performance and dependability symposium—IPDS95. IEEE CS Press, pp 124–133

    Google Scholar 

  9. Puliafito A, Scarpa M, Trivedi K (1998) Petri nets with k simultaneously enabled generally distributed timed transitions. Perform Eval 32(1) (February 1998)

    Google Scholar 

  10. Miner A, Parker D (2004) Symbolic representations and analysis of large state spaces. In: Validation of stochastic systems, ser. LNCS 2925. Springer, Dagstuhl, Germany, pp 296–338

    Google Scholar 

  11. Longo F, Scarpa M (2015) Two-layer symbolic representation for stochastic models with phase-type distributed events. Intern J Syst Sci 46(9):1540–1571 (Jul. 2015). http://dx.doi.org/10.1080/00207721.2013.822940

    Google Scholar 

  12. Longo F, Scarpa M (2009) Applying symbolic techniques to the representation of non-markovian models with continuous ph distributions. In: Bradley J (ed) Computer performance engineering, ser. Lecture notes in computer science, vol 5652. Springer, Berlin Heidelberg, pp 44–58. http://dx.doi.org/10.1007/978-3-642-02924-0_4

    Google Scholar 

  13. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2010) Reliability assessment of wireless sensor nodes with non-linear battery discharge. In: Wireless days (WD), IFIP, Oct 2010, pp 1–5

    Google Scholar 

  14. Distefano S, Longo F, Scarpa M (2010) Availability assessment of ha standby redundant clusters. In: 29th IEEE symposium on reliable distributed systems, Oct 2010, pp 265–274

    Google Scholar 

  15. Distefano S, Longo F, Scarpa M (2010) Symbolic representation techniques in dynamic reliability evaluation. In: IEEE 12th International Symposium on High-assurance systems engineering (HASE), Nov 2010, pp 45–53

    Google Scholar 

  16. Bruneo D, Longo F, Puliafito A, Scarpa M, Distefano S (2012) Software rejuvenation in the cloud. In: Proceedings of the 5th international ICST conference on simulation tools and techniques, ser. SIMUTOOLS ’12. ICST, Brussels, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp 8–16. http://dl.acm.org/citation.cfm?id=2263019.2263022

  17. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2012) Evaluating wireless sensor node longevity through markovian techniques. Comput netw 56(2):521–532. http://www.sciencedirect.com/science/article/pii/S1389128611003690

    Google Scholar 

  18. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2013) Workload-based software rejuvenation in cloud systems. IEEE Trans Comput 62(6):1072–1085. http://dx.doi.org/10.1109/TC.2013.30

    Google Scholar 

  19. Distefano S, Bruneo D, Longo F, Scarpa M (2013) Quantitative dependability assessment of distributed systems subject to variable conditions. In: Pathan M, Wei G, Fortino G (eds) Internet and distributed computing systems, ser. Lecture notes in computer science, vol 8223. Springer, Berlin Heidelberg, pp 385–398. http://dx.doi.org/10.1007/978-3-642-41428-2_31

    Google Scholar 

  20. Distefano S, Longo F, Scarpa M (2013) Investigating mobile crowdsensing application performance. In: Proceedings of the third ACM international symposium on design and analysis of intelligent vehicular networks and applications, ser. DIVANet ’13, New York, NY, USA: ACM, 2013, pp 77–84. http://doi.acm.org/10.1145/2512921.2512931

  21. Distefano S, Longo F, Scarpa M, Trivedi K (2014) Non-markovian modeling of a bladecenter chassis midplane. In: Horvth A, Wolter K (eds) Computer performance engineering, ser. Lecture notes in computer science, vol 8721. Springer International Publishing, pp 255–269. http://dx.doi.org/10.1007/978-3-319-10885-8_18

    Google Scholar 

  22. Longo F, Bruneo D, Distefano S, Scarpa M (2015) Variable operating conditions in distributed systems: modeling and evaluation. Concurr Comput Pract Exp 27(10):2506–2530. http://dx.doi.org/10.1002/cpe.3419

    Google Scholar 

  23. Longo F, Distefano S, Bruneo D, Scarpa M (2015) Dependability modeling of software defined networking. Comput Netw 83:280–296. http://www.sciencedirect.com/science/article/pii/S1389128615001139

    Google Scholar 

  24. Distefano S, Longo F, Scarpa M (2015) Qos assessment of mobile crowdsensing services. J Grid Comput 1–22. http://dx.doi.org/10.1007/s10723-015-9338-7

  25. Ajmone Marsan M, Balbo G, Bobbio A, Chiola G, Conte G, Cumani A (1989) The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans Softw Eng SE-15:832–846

    Google Scholar 

  26. Telek M, Bobbio A, Puliafito A (1996) Steady state solution of MRSPN with mixed preemption policies. In: International computer performance and dependability symposium—IPDS96. IEEE CS Press

    Google Scholar 

  27. Kulkarni V (1995) Modeling and analysis of stochastic systems. Chapman Hall

    Google Scholar 

  28. Neuts M (1981) Matrix geometric solutions in stochastic models. Johns Hopkins University Press, Baltimore

    MATH  Google Scholar 

  29. Horvth A, Puliafito A, Scarpa M, Telek M (2000) Analysis and evaluation of non-markovian stochastic Petri nets. In: Haverkort B, Bohnenkamp H, Smith C (eds) Computer performance evaluation. modelling techniques and tools, ser. Lecture notes in computer science, vol 1786. Springer, Berlin Heidelberg, pp 171–187. http://dx.doi.org/10.1007/3-540-46429-8_13

  30. Ciardo G, Zijal R (1996) Discrete deterministic and stochastic Petri nets. Tech. Rep, NASA

    Google Scholar 

  31. German R (1995) New results for the analysis of deterministic and stochastic Petri nets. In: International computer performance and dependability symposium—IPDS95. IEEE CS Press, pp 114–123

    Google Scholar 

  32. Neuts M (1975) Probability distributions of phase type. In: Liber Amicorum Prof. Emeritus H. Florin. University of Louvain, pp 173–206

    Google Scholar 

  33. Miner AS (2001) Efficient solution of gspns using canonical matrix diagrams. In: Proceedings of the 9th international workshop on Petri nets and performance models (PNPM’01), ser. PNPM ’01. Washington, DC, USA: IEEE Computer Society, pp 101–. http://dl.acm.org/citation.cfm?id=882474.883484

  34. Puliafito A, Horvath A, Scarpa M, Telek M (2000) Analysis and evaluation of non-markovian stochastic Petri nets. In: Haverkort B, Bohnenkamp H, Smith C (eds) Proceedings of 11th international conference on modelling techniques and tools for performance analysis. Springer, Schaumburg, Illinois (LNCS 1786, March 2000), pp 171–187

    Google Scholar 

  35. Ajmone Marsan M, Balbo G, Bobbio A, Chiola G, Conte G, Cumani A (1989) The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans Softw Eng 15(7):832–846

    Google Scholar 

  36. Cumani A (1985) ESP—a package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In: PNPM, pp 144–151

    Google Scholar 

  37. Neuts MF (1981) Matrix-geometric solutions in stochastic models: an algorithmic approach. Johns Hopkins University Press, Baltimore

    MATH  Google Scholar 

  38. Pérez-Ocón R, Castro JER (2004) Two models for a repairable two-system with phase-type sojourn time distributions. Reliab Eng Syst Safety 84(3):253–260

    Article  Google Scholar 

  39. Scarpa M (1999) Non markovian stochastic Petri nets with concurrent generally distributed transtions. PhD dissertation, University of Turin

    Google Scholar 

  40. Bellman R (1997) Introduction to matrix analysis, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA

    MATH  Google Scholar 

  41. Burch J, Clarke E, McMillan K, Dill D, Hwang L (1990) Symbolic model checking: 1020 states and beyond. In: Proceedings of fifth annual IEEE symposium on logic in computer science, June 1990. LICS ’90, pp 428–439

    Google Scholar 

  42. Srinivasan A, Ham T, Malik S, Brayton R (1990) Algorithms for discrete function manipulation. In: IEEE international conference on computer-aided design, 1990. ICCAD-90. Digest of Technical Papers, Nov 1990, pp 92–95

    Google Scholar 

  43. Miner AS, Ciardo G (1999) Efficient reachability set generation and storage using decision diagrams. In: Proceedings 20th international conference on applications and theory of Petri nets. Springer, pp 6–25

    Google Scholar 

  44. Ciardo G, Luttgen G, Siminiceanu R (2001) Saturation: an efficient iteration strategy for symbolic state space generation. In: Proceedings of tools and algorithms for the construction and analysis of systems (TACAS), LNCS 2031. Springer, pp 328–342

    Google Scholar 

  45. Ciardo G, Marmorstein R, Siminiceanu R (2003) Saturation unbound. In: Proceedings of TACAS. Springer, pp 379–393

    Google Scholar 

  46. A. Bobbio and M. Scarpa, “Kronecker representation of stochastic petri nets with discrete ph distributions,” in Proc. Third IEEE Ann. Int’l Computer Performance and Dependability Symp. (IPDS ’98), 1998

    Google Scholar 

  47. G. Ciardo and R. Siminiceanu, “Structural symbolic ctl model checking of asynchronous systems,” in Proc. CAV. Springer-Verlag, 2003, pp. 40–53

    Google Scholar 

  48. A. Horváth and M. Telek, “Phfit: A general phase-type fitting tool,” in Proceedings of TOOLS ’02. London, UK: Springer-Verlag, 2002, pp. 82–91

    Google Scholar 

  49. A. Bobbio, A. Horvth, M. Scarpa, and M. Telek, “Acyclic discrete phase type distributions: properties and a parameter estimation algorithm,” Performance Evaluation, vol. 54, no. 1, pp. 1–32, 2003. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0166531603000440

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria, Università degli Studi di Messina, C.da di Dio, 98166, Messina, Italy

    Francesco Longo, Marco Scarpa & Antonio Puliafito

Authors
  1. Francesco Longo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Scarpa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonio Puliafito
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Longo .

Editor information

Editors and Affiliations

  1. University of Massachusetts Dartmou, Dartmouth, Massachusetts, USA

    Lance Fiondella

  2. Università degli studi di Messina, Messina, Italy

    Antonio Puliafito

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Longo, F., Scarpa, M., Puliafito, A. (2016). WebSPN: A Flexible Tool for the Analysis of Non-Markovian Stochastic Petri Nets. In: Fiondella, L., Puliafito, A. (eds) Principles of Performance and Reliability Modeling and Evaluation. Springer Series in Reliability Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-30599-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-30599-8_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-30597-4

  • Online ISBN: 978-3-319-30599-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation