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));
}