You can use provided shell script to setup Haskell Stack, as well as clone and build the CCPN simulator git repository by executing setup_ccpn.sh with the path to clone's designated parent directory. Please note that this executes shell script code from haskellstack.org. You can also set it up manually by following the script's steps.

Add the CCPN plugin to Renew by executing in the root Renew directory:
> ant CCPN

Start Renew with the correct CCPN location by executing:
> java -Dde.renew.formalism.ccpn.ccpnbin=path/to/ccpn/bin/ccpn -jar dist/loader.jar gui

The CCPN plugin adds the Curry Net Compiler formalism and the Tools -> Curry Reachability Graph command. This command generates a reachability graph based on the RNRG plugin.
