public static void ExportReachabilityFileFromPlaceDiationary(SortedDictionary <int, Place> data) { if (data.Count == 0) { return; } Marking M0 = GetInitialMarkingFromPlaceDictionary(data); Reachability gra = new Reachability(M0); gra.Export2GraFile(); gra.ExportStateFile(); gra.Export2OtherGraFile(); }