initial support for running Petri nets in batch:  PetriNetRunner

modified PetriNetAnimator to accept a pre-set Random to enable repeatable testing.