IDEAS home Printed from https://ideas.repec.org/h/spr/ssrchp/978-3-319-30599-8_10.html
   My bibliography  Save this book chapter

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

In: Principles of Performance and Reliability Modeling and Evaluation

Author

Listed:
  • 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)

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.

Suggested Citation

  • Francesco Longo & Marco Scarpa & Antonio Puliafito, 2016. "WebSPN: A Flexible Tool for the Analysis of Non-Markovian Stochastic Petri Nets," Springer Series in Reliability Engineering, in: Lance Fiondella & Antonio Puliafito (ed.), Principles of Performance and Reliability Modeling and Evaluation, pages 255-285, Springer.
    • Handle: RePEc:spr:ssrchp:978-3-319-30599-8_10
    DOI: 10.1007/978-3-319-30599-8_10
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a search for a similarly titled item that would be available.

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Salvatore Serrano & Marco Scarpa, 2023. "A Petri Net Model for Cognitive Radio Internet of Things Networks Exploiting GSM Bands," Future Internet, MDPI, vol. 15(3), pages 1-26, March.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:ssrchp:978-3-319-30599-8_10. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.