ExecutablePetriNet state can be retrieved and reset.

PetriNetAnimator now uses State as its definition of a Petri net state.
Old version differed because Place with 0 tokens had null tokenCount rather than 0.
Changed PetriNet to provide an initial setting of 0 for all places for each token.
Updated XML read/write cases to expect "Default,0" rather than empty initial values.