WebSPN

Overview

Entry last updated: 2015/8/26
Entry last validated: 2015/8/26

Tool homepage: webspn.unime.it

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

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.

Contact Information

Marco Scarpa
DICIEAMA - University of Messina
C.da Di Dio, (S. Agata)
98166 - Messina
Italy

Phone:  +39 090 393228
Fax:    +39 090 393502
E-mail: mscarpa@unime.it

Other Remarks


[PN Home][*]
The maintainers of this page