WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets (NMSPN). It is developed by the research group leaded by prof. Marco Scarpa at the Department  of Engineeering –  University of Messina.

It provides a continuous time, a discrete time, and a simulated solution of NMSPNs which results in the possibility to analyse a wider class of models with multiple preemptive repeat different (prd), preemptive resume (prs), and preemptive repeat identical (pri) concurrently enabled generally distributed transitions.

WebSPN 3.3 is based on the client-server paradigm and makes wide use of C, C++, and Java technologies. The client side of the application (a Java graphical user interface running on the modeler machine) allows the modeler to graphically design NMSPN models. The server side of the application (a Java wrapper daemon possibly running on a remote server) allows to concurrently solve NMSPN models through the use of a set of analysis engines (written in C/C++).

WebSPN is provided for free for non-commercial use. If you want to try WebSPN you can download it by clicking on Download.

For installation instructions, please check the README files found in all the packages or refer to the Installation page.

An overview about how to use WebSPN for studying NMSPNs can be found in the Help menu of the client or in the Overview page on this Web site.