Fix important concurrency bug

* CachingExplorerUtilities was still setting the state of the underlying
  Petri net which is not thread safe
* Chaged to use AnaimationLogic which it should have been using all
  along
A few teaks to the formatting