ipypetrinet (npm): A custom petrinet widget.
Keywords: jupyter|jupyterlab|jupyterlab-extension|widgets