To use the RNRG (Reference Net Reachability Graph) plugin, Renew can be build from the root Renew directory by executing
> ant dist RNRG

This adds the menu item Tools -> Ref Net Reachability Graph... which can be used to generate reachability graphs for Java reference nets (and other formalisms).

The net instances associated with a graph node can be opened by double-clicking it.
State inscriptions at the graph nodes can be toggled between the state of the root net instance and the state of all net instances by right-clicking.
Graph edge inscriptions can be right-clicked to toggle between the name of the fired transition and a longer description of the fired binding.
