GreatSPN is a suite of tools for the design and analysis (qualitative and quantitative) of GSPNs and SWNs. It is now a widely used tool in the research community, since it provides a breadth of solvers for computing net structural properties such as P– and T–invariants, the reachable states (RS), the reachability graph (RG) with and without symmetry exploitation, and performance evaluation indices using either simulation or analytical solution for steady-state and transient measures.

This new version enhances the GSPN reachability graph generation implementation to use Decision Diagrams. Then, we have replaced the existing representation of RS, base on balanced binary tree and file, with Decision Diagrams.

This new GreatSPN version is written in C/C++ and uses Openmotif for the GUI and Meedly library to manage Decision Diagram.