Text this: Petri Net Reachability Graphs: Decidability Status of First Order Properties