This new GreatSPN version is written in C/C++ and uses Openmotif for the GUI and Meedly library to manage to encode on Decision Diagram the Reachability Set of a GPSN model.
It runs under Linux/Unix system.
Here you can download some instructions for installing and using the tool
