public static interface DPNTextEditor.ModelSaver
void
save(DataPetriNetsWithMarkings dpnWithMarkings)
void save(DataPetriNetsWithMarkings dpnWithMarkings)