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

Tool homepage:

Tool availability: Commercial (free for academic institutions)

Tool Features

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


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

Phone:  +39 011 6706710
Fax:    +39 011 751603

Other Remarks

Download a license agreement from the tool home page.
[PN Home][*]
The maintainers of this page