/// <summary>Parse and load pnml file.</summary> public static PetriNet loadFromFile(string file, int id) { PetriNet pn = PnmlParser.loadFromPath(file); pn.attachID(id); return(pn); }