basic petri net editor