update petrinet.org we can add the examples from [john baez blog](https://johncarlosbaez.wordpress.com/2018/08/15/open-petri-nets-part-1/) would be nice if we could somehow have john embed the interactive stuff on his blog cc @epost
update petrinet.org
we can add the examples from john baez blog
would be nice if we could somehow have john embed the interactive stuff on his blog
cc @epost