search

PetriNets / petrinets.github.io

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

Update "single net" view #20

Closed antonleviathan closed 5 years ago

antonleviathan commented 5 years ago

Forgot to update the individual net pages

antonleviathan commented 5 years ago

Closed via https://github.com/PetriNets/petrinets.github.io/pull/21