Entry last updated: 2015/8/26
Entry last validated: 2015/8/26
Tool homepage: webspn.unime.it
Tool availability: Free of charge
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- Stochastic Petri Nets
- Non Markovian Stochastic Petri Nets
- Graphical Editor
- Token Game Animation
- State Spaces
- Condensed State Spaces
- Advanced Performance Analysis
- Memory policies
WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets that relaxes some of the restrictions present in currently available packages.
This tool provides a discrete time approximation of the stochastic behavior of the model which results in the possibility to analyze a wider class of Petri net models with prd, prs and pri concurrently enabled generally distributed transitions.
WebSPN makes wide use of Java technology and it is easily accessible from any node connected with the Internet as long as it possesses a Java-enabled Web browser.
The kernel implements a parallel algorithm based on Message Passing MPI-2, so the solution engine can run over a cluster of workstations.
DICIEAMA - University of Messina
C.da Di Dio, (S. Agata)
98166 - Messina
Phone: +39 090 393228
Fax: +39 090 393502
The maintainers of this page