search

PetriNets / petrinets.github.io

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

Use the elm petrinet viewer #18

Closed antonleviathan closed 5 years ago

antonleviathan commented 5 years ago

Going to take care of https://github.com/PetriNets/petrinets.github.io/issues/17 with the PR for this issue

antonleviathan commented 5 years ago

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