Example #1
0
        public void CalculateTokenReplayFitnessWithSameLogTest()
        {
            // Arrange
            PetriNet minedModel = AlphaMiner.mine(log);

            // Act
            var casualFitness = ConformanceChecking.TokenReplayFitness(minedModel, log);

            // Assert
            Assert.AreEqual(casualFitness, 1);
        }
Example #2
0
        public void CalculateTokenReplayFitnessWithNoisyLogTest()
        {
            // Arrange
            PetriNet minedModel = AlphaMiner.mine(log);

            // Act
            var casualFitness = ConformanceChecking.TokenReplayFitness(minedModel, log_noisy);

            // Assert
            Assert.IsTrue(casualFitness > 0.96);
            Assert.IsTrue(casualFitness < 0.97);
        }