Petri Net editor for correctness and performance analysis
