static void Main(string[] args) { if (args.Length < 1) { Console.WriteLine("Petri Net file does not set. Please enter file with Petri Net as first command line parameter."); return; } if (!File.Exists(args[0])) { Console.WriteLine( String.Format("File {0} does not exists. Please enter file with Petri Net as first command line parameter.", args[0])); return; } var net = PNets.Core.PetriNet.Parse(args[0]); var checker = new PropertiesChecker(net); var isBounded = checker.CheckStructurallyBoundness(); Console.WriteLine(String.Format("Given PetriNet is {0}", isBounded)); }
public void PetryNetShouldBeStructuralBounded(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); Assert.IsTrue(checker.CheckStructurallyBoundness() == StructurallyBoundness.StructurallyBounded); }