Text this: A primer in Petri Net design