Ejemplo n.º 1
0
        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));
        }
Ejemplo n.º 2
0
 public void PetryNetShouldBeStructuralBounded(string inFile)
 {
     var net = PetriNet.Parse(inFile);
     var checker = new PropertiesChecker(net);
     Assert.IsTrue(checker.CheckStructurallyBoundness() == StructurallyBoundness.StructurallyBounded);
 }