Create stress tests for: - number of tokens in a place (is there some evil overflow? Is it failing "gracefully"?) - number of places associated with a transition - number of transitions in a net