WebSPN

Overview

Entry last updated: 2005/12/16
Entry last validated: 2005/12/16

Tool homepage: https://mdslab.unime.it/webspn

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Stochastic Petri Nets

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Advanced Performance Analysis
Interchange File Format
prd, prs, pri memory policies

Environments

PC, Linux
Java

Tool Description

WebSPN is a new 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 behaviour 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

Antonio Puliafito
Dipartimento di Matematica
Universitá di Messina
Italy

Phone:  +39 090 393229
Fax:    +39 090 393502
E-mail: apulia@ingegneria.unime.it

Phone:  +39 090 397 7318
Fax:    +39 090 397 7471
E-mail: apuliafito@unime.it

Other Remarks

The maintainers of this page