A simulator for Petri nets with a graphical interface. The program can display, edit, and perform limited analysis of Petri nets. The demo is provided via a docker container served by a Flask server. A demo of the program can be found here: https://petrinet.berndreiss.net
