**ReferenceNetsReachabilityGraph** [[Image(rw-rggraph.pdf)]]