Text this: Petri nets