Text this: Event Structures for Petri nets with Persistence