Text this: Unifying Petri nets :