GreatSPN

Overview

Entry last updated: 2003/5/8
Entry last validated: 2004/5/25

Tool homepage: http://www.di.unito.it/~greatspn/

Tool availability: Commercial (free for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets
Stochastic Petri Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Advanced Performance Analysis

Environments

Sun
Linux
Solaris on PCs and Sun workstations

Tool Description

GreatSPN is a software package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well-formed Nets. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on rather complex applications, not only toy examples.

Contact Information

Giuliana Franceschinis
Dipartimento di Informatica
Universit€ di Torino
Corso Svizzera 185
10149 Torino
Italy

Phone:  +39 011 6706710
Fax:    +39 011 751603
E-mail: greatspn@di.unito.it

Other Remarks

Download a license agreement from the tool home page.

The maintainers of this page