Text this: Unifying Petri Nets