Text this: Verification of Petri Nets with Read Arcs