The MoMoc Plugin is based on the [/ReferenceNetsReachabilityGraph RNRG] plugin, whose key functionality (creating a reachability graph) can be accessed through the MoMoc Plugin.