search

PetriNets / petrinets.github.io

Petrinet.org interactive playground website
http://petrinet.org
14 stars 8 forks source link

Lots of new stuffs :D #2

Closed antonleviathan closed 6 years ago

antonleviathan commented 6 years ago

I added most of the changes and also introduced a new navbar. Wasn't sure how to go about implementing Pawel's pnet. Will talk to you in person about this. @wires

antonleviathan commented 6 years ago

I think we're good to merge. We do need to update the content as well though but that can happen over time I guess. @wires