Petri net editor