Exemplo n.º 1
0
        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();
        }