Add basic random firing to animation mode

* Fix bug in arc adding connectable inbound/outbound. Now changes them on setting too
* Add unit test for new arc behaviour
* Implement random transition and firing transition in petrinet
* Add Petrinet tests