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

Francesco Longo (), Marco Scarpa () and Antonio Puliafito ()
Additional contact information
Francesco Longo: Dipartimento di Ingegneria, Università degli Studi di Messina
Marco Scarpa: Dipartimento di Ingegneria, Università degli Studi di Messina
Antonio Puliafito: Dipartimento di Ingegneria, Università degli Studi di Messina

A chapter in Principles of Performance and Reliability Modeling and Evaluation, 2016, pp 255-285 from Springer

Abstract: 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.

Date: 2016
References: Add references at CitEc
Citations: View citations in EconPapers (1)

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ssrchp:978-3-319-30599-8_10

Ordering information: This item can be ordered from
http://www.springer.com/9783319305998

DOI: 10.1007/978-3-319-30599-8_10

Access Statistics for this chapter

More chapters in Springer Series in Reliability Engineering from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().