A user-directed execution of the net, i.e., traversing the
reachability graph, provides insight into the behaviour of the net, and allows to
investigate those nodes in the reachability graphs more closely at which
something unexpected occur (e.g., reachability of dead states).