public void SaveToXML(PnmlNet pnmlNet, string fileName)
        {
            XmlSerializer writer = new XmlSerializer(typeof(PnmlNet));
            FileStream    file   = File.Create(fileName);

            writer.Serialize(file, pnmlNet);
            file.Close();
        }
Ejemplo n.º 2
0
 void CreateNewPetriNetCommandExecute()
 {
     CurrentPnmlNet = new PnmlNet();
     IsSaved        = false;
 }