public void MineTestFail1()
 {
     try
     {
         var miner = new HeuristicMiner(null);
         miner.Mine();
         Assert.Fail();
     }
     catch (Exception exception)
     {
         Assert.IsInstanceOfType(exception, typeof(Exception));
     }
 }
 public void MineTestFail2()
 {
     try
     {
         MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
         var field = new Field();
         var miner = new HeuristicMiner(field);
         miner.Mine();
         Assert.Fail();
     }
     catch (Exception exception)
     {
         Assert.IsInstanceOfType(exception, typeof(Exception));
     }
 }
        public void MineTest1()
        {
            MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
            MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
            var field = new Field {
                EventLog = EventLogExample.ThreeCaseEventLog()
            };
            var      miner  = new HeuristicMiner(field);
            PetriNet actual = (PetriNet)miner.Mine();

            Assert.AreEqual(1, actual.Transitions.Count);
            Assert.AreEqual("A", actual.Transitions[0].Name);
            Assert.AreEqual(2, actual.Places.Count);
            Assert.AreEqual("End", actual.Places[1].Name);
        }
        public void MineTest2()
        {
            MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
            MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
            var field = new Field {
                EventLog = EventLogExample.ComplexEventLogVanDerAalst()
            };
            var      miner  = new HeuristicMiner(field);
            PetriNet actual = (PetriNet)miner.Mine();

            Assert.AreEqual(33, actual.Transitions.Count);
            Assert.AreEqual("D", actual.Transitions[2].Name);
            Assert.AreEqual(44, actual.Places.Count);
            //   Assert.AreEqual("End", actual.Places[].Name);
        }
 public void MineTestFail3()
 {
     try
     {
         MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
         var field = new Field();
         var miner = new HeuristicMiner(field);
         miner.Mine();
         Assert.Fail();
     }
     catch (Exception exception)
     {
         Assert.IsInstanceOfType(exception, typeof(Exception));
     }
 }