Text this: Petri Nets