public void SaveToXML(PnmlNet pnmlNet, string fileName) { XmlSerializer writer = new XmlSerializer(typeof(PnmlNet)); FileStream file = File.Create(fileName); writer.Serialize(file, pnmlNet); file.Close(); }
void CreateNewPetriNetCommandExecute() { CurrentPnmlNet = new PnmlNet(); IsSaved = false; }