Text this: Remarks on the Reachability Graphs of Petri Nets