Reach is a package for Petri net reachability tree visualisation.
Very simple reachability tree printer for Petri nets