**ReferenceNetsReachabilityGraph**

The reachability graph for Reference Nets is explained here.