public static Marking GetInitialMarkingFromPntFile(string filePath) { if (!File.Exists(filePath)) { return(null); } SortedDictionary <int, Place> data = GetDataFromPntFile(filePath); return(PetriNetOperator.GetInitialMarkingFromPlaceDictionary(data)); }
public static void ExportReachabilityFileFromPntFile(string filePath) { if (!File.Exists(filePath)) { return; } SortedDictionary <int, Place> data = GetDataFromPntFile(filePath); PetriNetOperator.ExportReachabilityFileFromPlaceDiationary(data); }
public static IncidenceMatrix GetPostIncidenceMatrixFromPntFile(string filePath) { if (!File.Exists(filePath)) { return(null); } SortedDictionary <int, Place> data = GetDataFromPntFile(filePath); return(PetriNetOperator.GetPostIncidenceMatrixFromPlaceDictionary(data)); }